Donald Sannella
Books
- Introduction to Computation
- Some Thoughts on algebraic specification
- Toward formal development of programs from algebraic specifications
- Foundations of Algebraic Specification and Formal Software Development
- Programming Languages and Systems - ESOP '94
- Toward formal development of ML programs
- Formal specification of ML programs
- Extended ML
- Automata, languages and programming
- Formal program development in extended ML for the working programmer
- A survey of formal software development methods
- Foundations Of Algebraic Specification And Formal Software Development
- Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994
Author data: Open Library