Sannella, Donald - University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.


Home		Set as Homepage		Add to Favorite		Contact

27 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Computers » Computer Science » People » S	UPDATE INFO \| REPORT BROKEN LINK
Sannella, Donald	Popularity: Hit: 98

Details:

	University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development. Sponsored Links:
URL:	http://www.dcs.ed.ac.uk/~dts/
Title:	Don Sannella
Description:	Computers, Computer Science, People, S - Sannella, Donald. University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Specialized in:	Home Page

Snodgrass, Richard T. (Popularity:

): University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development ...
Simon, Janos (Popularity:

): University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired ...
Smits, Brian (Popularity:

): University of Utah - Computer graphics, rendering, global illumination, and real time ray tracing.
Stevens, Rick (Popularity:

): Argonne National Laboratory, University of Chicago - Collaborative scientific visualization environments, high-performance computer architectures, performance modeling.
Simpson, Alexander (Popularity:

): University of Edinburgh - Category theory, domain theory, logic, type theory.
Stark, Ian (Popularity:

): University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
Steedman, Mark (Popularity:

): University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.
Stirling, Colin (Popularity:

): University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description ...
Sammut, Claude (Popularity:

): University of New South Wales - Machine learning, logic programming, and knowledge based systems.
Sowmya, Arcot (Popularity:

): University of New South Wales - Computer vision, spatial reasoning, robotics, concurrent and real-time systems, and component reuse in VLSI ...

Popular Sites

Stantchev, Vladimir and Lubomira (Popularity:

): Humboldt University, Berlin.
Sannella, Donald (Popularity:

): University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
Snodgrass, Richard T. (Popularity:

): University of Arizona - Temporal databases, query language design, query optimization and evaluation, storage structures, database design, and software development ...
Shyamasundar, R. K. (Popularity:

): Tata Institute of Fundamental Research, Mumbai - Real-Time and Reactive Programming, Logic Programming, Pi-Calculus and Mobile Computing, Parallel Programs, Programming ...
Schreiner, Wolfgang (Popularity:

): Johannes Kepler University - Parallel and distributed computing, generic programming, semantics of programming languages, parallel functional languages, symbolic and algebraic ...

Related Press

TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity:

): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity:

): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
Our Stock Picks for today (www.hypergrowthstock.com) 25th Nov. 2009 (Popularity:

): CLF, BDGH, KNDR, AWSL, VGPR Current HOT Watch List MIAMI, Nov. 25th 2009 (M2 PRESSWIRE via COMTEX) � HyperGrowthStocks.com is pleased ...
Amid the Flu Epidemic, Don't Forget RSV in Young Children (Popularity:

): Influenza, particularly H1N1, has understandably captured the attention of public health officials, the media and the public. However, an analysis ...
Bank of America Exceeds $1 Billion in Lending and Investing to Community Lenders (Popularity:

): Bank of America today announced it surpassed the $1 billion mark in loans and investments to more than 120 Community ...

Related Articles

Unprecedented Performance Of IBM LTO 4 Media Tape (Popularity:

): IBM LTO-4 tape supports fast rate of 240 Mbps with compressed data. Voluminous 1.6Terabyte information can easily be backed on ...
High Speed AIT-5 Tape Media Format (Popularity:

): Advanced intelligent tape storage technology uses helical scan in which the data is recorded on diagonal tracks. The recording system ...
Maximize Free People Search (Popularity:

): There are a number of free people search engines available online now and playing a great role in Internet World. ...
Viewing Outsourcing - The Role of Partnership to Some Firms in Global Outsourcing Business (Popularity:

): Nowadays, dealing with outsourcing is a little bit easier and accessible despite the fact of the raging economic downturns. Many ...
Shopping For Men's Swimwear - A Lesson in Social Acceptance (Popularity:

): Take a moment to consider; how often are the choices in our lives influenced by what others may, or may ...