|
134
|
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
|
|
54
|
Essential Concepts of Algebraic Specification and Program Development
– Donald Sannella, Andrzej Tarlecki
- 1996
|
|
5
|
Toward Component-Oriented Formal Software Development: An Algebraic Approach (Extended Abstract)
– Michel Bidoit, Donald Sannella, Andrzej Tarlecki
|
|
8
|
Global Development via Local Observational Construction Steps
– Michel Bidoit, Donald Sannella, Andrzej Tarlecki
- 2002
|
|
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
|
|
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
|
|
33
|
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
|
|
28
|
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
|
|
14
|
Structured theory presentations and logic representations
– Robert Harper, Donald Sannella, Andrzej Tarlecki
- 1994
|
