Donald Sannella

· 13 obras en el catálogo

Obras

Foundations Of Algebraic Specification And Formal Software Development

Foundations of Algebraic Specification and Formal Software Development

Automata, languages and programming

IIntroduction to Computation

Introduction to Computation

EExtended ML

Extended ML

FFormal program development in extended ML for the working pr

Formal program development in extended ML for the working programmer

FFormal specification of ML programs

Formal specification of ML programs

Programming Languages and Systems - ESOP '94

PProgramming Languages and Systems-Esop '94: 5th European Sym

Programming Languages and Systems-Esop '94: 5th European Symposium on Programming Edinburgh,U.K., April 11-13, 1994

SSome Thoughts on algebraic specification

Some Thoughts on algebraic specification

AA survey of formal software development methods

A survey of formal software development methods

TToward formal development of ML programs

Toward formal development of ML programs

TToward formal development of programs from algebraic specifi

Toward formal development of programs from algebraic specifications