Don Sannella

Don Sannella

Donald T. Sannella is Professor of Computer Science in the Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. He is editor-in-chief of the journal Theoretical Computer Science.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Don Sannella — Saltar a navegación, búsqueda Don Sannella Residencia  Escocia Nacionalidad …   Wikipedia Español

  • Extended ML — is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With… …   Wikipedia

  • Extended ML — Saltar a navegación, búsqueda Extended ML es un lenguaje de programación creado por Kahrs, Sannella y Tarlecki basado en ML. Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para… …   Wikipedia Español

  • University of Edinburgh School of Informatics — The School of Informatics is an academic unit of the University of Edinburgh, in Scotland, responsible for research, teaching, outreach and commercialisation in Informatics.It was created in 1998 from the former Department of Artificial… …   Wikipedia

  • Theoretical Computer Science (journal) — Infobox Journal title = Theoretical Computer Science discipline = Computer Science abbreviation = TCS publisher = Elsevier country = frequency = weekly history = 1975 to present openaccess = no website = http://www.elsevier.com/locate/tcs ISSN =… …   Wikipedia

  • Laboratory for Foundations of Computer Science — The Laboratory for Foundations of Computer Science (LFCS) is based in the School of Informatics at the University of Edinburgh, Scotland. It has an international reputation in theoretical computer science. Selected members Current *Julian… …   Wikipedia

  • Rod Burstall — Infobox Scientist image width = 150px name = Rod Burstall birth date = birth place = residence = Scotland, France nationality = British field = computer scientist work institution = University of Edinburgh alma mater = doctoral advisor = doctoral …   Wikipedia

  • Theoretical Computer Science — Idioma Inglés Categoría Revista científica Año de fundación 1975 Desarrollo Editor …   Wikipedia Español

  • Simonetti family — Simonetti Ethnicity Italian (Lombard) Information Earlier …   Wikipedia

  • Contra dance form — This article supplements the main contra dance article. Contra dance form describes the arrangement of dancers into contra dance sets and minor sets. There are various forms, and each dance s choreography specifies its formation. A caller s first …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”