Extended ML: an institution-independent framework for formal program development (1986)

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Venue:PROC. WORKSHOP ON CATEGORY THEORY AND COMPUTER PROGRAMMING
Citations:20 - 11 self

Active Bibliography

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
3 Some Thoughts on Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1985
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
c ○ 1997 BCS – Donald Sannella, Andrzej Tarlecki
INSTITUTIONS: Abstract Model Theory for Specification and Programming – Joseph A. Goguen, Rod Burstall