Toward formal development of ML programs: foundations and methodology (1989)

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Citations:51 - 20 self

Documents Related by Co-Citation

143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
42 Data Abstraction and the Correctness of Modular Programming – O Schoett - 1987
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
55 A kernel language for algebraic specification and implementation – Donald Sannella, Martin Wirsing
198 Reflections on Standard ML – David B. MacQueen - 1992
36 Fundamentals of algebraic specification: Equational and initial semantics – H Ehrig, B Mahr - 1985
119 Parameterized Programming – J A Goguen - 1984
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
34 Formal program development in Extended ML for the working programmer – Donald Sannella - 1991
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
65 Universal Realization, Persistent Interconnection and Implementation of Abstract Modules – Joseph Goguen, Jose Meseguer - 1982
38 Behavioural equivalence – a unifying concept for initial and final specifications – Horst Reichel - 1981
14 Program specification and development – D Sannella, A Tarlecki - 1985
144 Putting Theories Together to Make Specifications – Rod Burstall, Joseph Goguen - 1977
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
49 Structured algebraic specifications: A kernel language – M Wirsing - 1986
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996