On Observational Equivalence and Algebraic Specification (1987)

by Donald Sannella , Andrzej Tarlecki
Citations:66 - 17 self

Documents Related by Co-Citation

29 Initial behaviour semantics for algebraic specification. Recent Trends in Data Type Specification – P Nivela, F Orejas - 1987
65 Universal Realization, Persistent Interconnection and Implementation of Abstract Modules – Joseph Goguen, Jose Meseguer - 1982
42 Data Abstraction and the Correctness of Modular Programming – O Schoett - 1987
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
55 A kernel language for algebraic specification and implementation – Donald Sannella, Martin Wirsing
25 On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic – Martin Hofmann, Donald Sannella - 1996
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
22 Extended ML: Past, present and future – Donald Sannella , Andrzej Tarlecki - 1991
92 Specifications in an arbitrary institution – Donald Sannella, Andrzej Tarlecki - 1988
127 Introducing institutions – J A Goguen, R M Burstall - 1983
10 Verification in ASL and Related Specification Languages – Jordi Farr'es-Casals - 1992
34 Formal program development in Extended ML for the working programmer – Donald Sannella - 1991
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
28 A.: Implementation and behavioural equivalence : a survey – F Orejas, M Navarro, S├ínchez - 1993
32 Behavioural correctness of data representations – O Schoett - 1985
140 Fundamentals of Algebraic Specification 1: Equations and Initial Semantics – H Ehrig, B Mahr
29 Observability concepts in abstract data type specification – V GIMONA GIARRATANA, F, U MONTANARI - 1976
46 Context induction: a proof principle for behavioural abstractions and algebraic implementations – R Hennicker - 1991