Extended ML: an institution-independent framework for formal program development (1986)

Cached

Download Links

by Donald Sannella , Andrzej Tarlecki
Venue:PROC. WORKSHOP ON CATEGORY THEORY AND COMPUTER PROGRAMMING
Citations:19 - 10 self

Active Bibliography

143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
3 Some Thoughts on Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1985
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
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
51 Toward formal development of ML programs: foundations and methodology – Donald Sannella, Andrzej Tarlecki - 1989
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
6 A Kernel Specification Formalism with Higher-Order Parameterisation – Donald Sannella, Andrzej Tarlecki - 1991
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
7 A new semantics for Clear – D. T. Sannella
1 Horizontal composability revisited – Donald Sannella, Andrzej Tarlecki
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i-- – Donald Sannella, Andrzej Tarlecki
22 Extended ML: Past, present and future – Donald Sannella , Andrzej Tarlecki - 1991
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
5 Representations, Hierarchies, and Graphs of Institutions – Till Mossakowski, Gutachter Prof, Dr. Hans-jorg Kreowski, Prof Dr, Andrzej Tarlecki, Amilcar Sernadas, Horst Reichel, Pepe Meseguer, Bernd Krieg-bruckner, Maura Cerioli, Valentin Antimirov - 1996
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
May I Borrow Your Logic? (Transporting Logical Structures along Maps) – Maura Cerioli, José Meseguer - 1995
7 Abstract specification theory: an overview – Andrzej Tarlecki - 2003
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