Don Sannella

Donald T. Sannella is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland.

Sannella graduated from Yale University, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code.

Sannella is founder of the European Joint Conferences on Theory and Practice of Software, a confederation of computer science conferences, held annually in Europe since 1998. He is editor-in-chief of the journal ''Theoretical Computer Science'', and is co-founder and CEO of [http://www.contemplateltd.com Contemplate Ltd]. His father is Ted Sannella. Provided by Wikipedia
Showing 1 - 20 results of 25 for search 'Sannella, Donald', query time: 0.06s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Introduction to Computation Haskell, Logic and Automata

    Introduction to Computation Haskell, Logic and Automata by Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

    Published 2021
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Foundations of Algebraic Specification and Formal Software Development

    Foundations of Algebraic Specification and Formal Software Development by Sannella, Donald, Tarlecki, Andrzej

    Published 2012
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  3. 3
    Model-theoretic foundations for program development basic concepts and motivation

    Model-theoretic foundations for program development basic concepts and motivation by Sannella, Donald T., Tarlecki, Andrzej

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    The definition of Extended ML a gentle introduction

    The definition of Extended ML a gentle introduction by Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Specifications in an arbitrary institution

    Specifications in an arbitrary institution by Sannella, Donald, Tarlecki, Andrzej

    Published 1985
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Semantics, implementation and pragmatics of Clear, a program specification language

    Semantics, implementation and pragmatics of Clear, a program specification language by Sannella, Donald T.

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A new semantics for Clear

    A new semantics for Clear by Sannella, Donald T.

    Published 1981
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Formal program development in Extended ML for the working programmer

    Formal program development in Extended ML for the working programmer by Sannella, Donald

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Toward formal development of programs from algebraic specifications parameterisation revisited

    Toward formal development of programs from algebraic specifications parameterisation revisited by Sannella, Donald, Sokołowski, Stefan, Tarlecki, Andrzej

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Toward formal development of programs from algebraic specifications implementations revisited

    Toward formal development of programs from algebraic specifications implementations revisited by Sannella, Donald, Tarlecki, Andrzej

    Published 1986
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    On observational equivalence and algebraic specification

    On observational equivalence and algebraic specification by Sannella, Donald, Tarlecki, Andrzej

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    Completeness of proof systems for equational specifications

    Completeness of proof systems for equational specifications by MacQueen, David B., Sannella, Donald T.

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Structured theories in LCF

    Structured theories in LCF by Sannella, Donald T., Burstall, Rod M.

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    A kernel language for algebraic specification and implementation

    A kernel language for algebraic specification and implementation by Sannella, Donald T., Wirsing, Martin 1948-

    Published 1983
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Introduction to computation Haskell, logic and automata

    Introduction to computation Haskell, logic and automata by Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

    Published 2021
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Foundations of algebraic specification and formal software development

    Foundations of algebraic specification and formal software development by Sannella, Donald 1956-, Tarlecki, Andrzej 1956-

    Published 2012
    Indexes
    Description
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    On behavioural abstraction and behavioural satisfaction in higher order logic

    On behavioural abstraction and behavioural satisfaction in higher order logic by Hofmann, Martin, Sannella, Donald T.

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    The definition of Extended ML

    The definition of Extended ML by Kahrs, Stefan, Sannella, Donald T., Tarlecki, Andrzej

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Toward formal development of ML programs foundations and methodology ; preliminary version

    Toward formal development of ML programs foundations and methodology ; preliminary version by Sannella, Donald, Tarlecki, Andrzej

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    HOPE et ML une introduction

    HOPE et ML une introduction by Sannella, Donald, Wirsing, Martin 1948-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: