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