On Observational Equivalence and Algebraic Specification (1987)

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

Active Bibliography

143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
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
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i-- – Donald Sannella, Andrzej Tarlecki
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
3 Some Thoughts on Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1985
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
1 Horizontal composability revisited – Donald Sannella, Andrzej Tarlecki
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
7 Abstract specification theory: an overview – Andrzej Tarlecki - 2003
5 Toward Component-Oriented Formal Software Development: An Algebraic Approach (Extended Abstract) – Michel Bidoit, Donald Sannella, Andrzej Tarlecki
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
3 Observational interpretation for CASL specifications – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2004
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
34 The KIV-Approach to Software Verification – Wolfgang Reif - 1995
8 Global Development via Local Observational Construction Steps – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2002