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

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Citations:51 - 20 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
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
8 Global Development via Local Observational Construction Steps – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2002
5 Toward Component-Oriented Formal Software Development: An Algebraic Approach (Extended Abstract) – Michel Bidoit, Donald Sannella, Andrzej Tarlecki
3 Observational interpretation for CASL specifications – Michel Bidoit, Donald Sannella, Andrzej Tarlecki - 2004
6 A Kernel Specification Formalism with Higher-Order Parameterisation – Donald Sannella, Andrzej Tarlecki - 1991
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
1 Horizontal composability revisited – Donald Sannella, Andrzej Tarlecki
11 Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL – Bernd Krieg-Brückner, Donald Sannella
22 Extended ML: Past, present and future – Donald Sannella , Andrzej Tarlecki - 1991
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i-- – Donald Sannella, Andrzej Tarlecki
34 The definition of Extended ML: a gentle introduction – Stefan Kahrs , Donald Sannella, Andrzej Tarlecki - 1995
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
2 A higher-order simulation relation for System F – Jo Erskine Hannay - 2000
34 Formal program development in Extended ML for the working programmer – Donald Sannella - 1991