Structured theories in LCF (1983)

Cached

Download Links

by D. T. Sannella , R. M. Burstall
Venue:In Proc. 8th Colloq. on Trees in Algebra and Programming, volume 159 of Lecture Notes in Computer Science
Citations:30 - 7 self

Documents Related by Co-Citation

161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
127 Introducing institutions – J A Goguen, R M Burstall - 1983
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
55 A kernel language for algebraic specification and implementation – Donald Sannella, Martin Wirsing
115 Module algebra – J A Bergstra, J Heering, P Klint - 1990
273 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
14 Program specification and development – D Sannella, A Tarlecki - 1985
473 Institutions: abstract model theory for specification and programming – J Goguen, R Burstall - 1992
60 Completeness of many-sorted equational logic – J A Goguen
73 Introduction to Standard ML – Robert Harper - 1986
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
198 Reflections on Standard ML – David B. MacQueen - 1992
144 Putting Theories Together to Make Specifications – Rod Burstall, Joseph Goguen - 1977
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
11 Completeness of proof systems for equational specifications – D MacQueen, D Sannella - 1985
29 A course in mathematical logic – J Bell, M Machover - 1977
10 Moving between logical systems. Recent Trends in Data Type Specifications. Selected Papers – A Tarlecki - 1995
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996