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:22 - 8 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
34 Formal program development in Extended ML for the working programmer – Donald Sannella - 1991
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
144 Putting Theories Together to Make Specifications – Rod Burstall, Joseph Goguen - 1977
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
127 Introducing institutions – J A Goguen, R M Burstall - 1983
42 Data Abstraction and the Correctness of Modular Programming – O Schoett - 1987
55 A kernel language for algebraic specification and implementation – Donald Sannella, Martin Wirsing
198 Reflections on Standard ML – David B. MacQueen - 1992
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
38 Behavioural equivalence – a unifying concept for initial and final specifications – Horst Reichel - 1981
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
49 Structured algebraic specifications: A kernel language – M Wirsing - 1986
638 Systematic Software Development using VDM – C B Jones - 1986
10 Verification in ASL and Related Specification Languages – Jordi Farr'es-Casals - 1992
34 The definition of Extended ML: a gentle introduction – Stefan Kahrs , Donald Sannella, Andrzej Tarlecki - 1995