Extended ML: Past, present and future (1991)

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Venue:PROC. 7TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES, WUSTERHAUSEN. SPRINGER LNCS 534
Citations:23 - 9 self

Documents Related by Co-Citation

1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
34 Formal program development in Extended ML for the working programmer – Donald Sannella - 1991
645 Systematic Software Development Using VDM – C B Jones - 1986
139 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
64 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
479 Institutions: Abstract model theory for specification and programming – Joseph A Goguen, Rod M Burstall - 1992
197 Reflections on Standard ML – David B. MacQueen - 1992
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
143 Putting theories together to make specifications – R M Burstall, J A Goguen - 1977