|
24
|
Category-based Semantics for Equational and Constraint Logic Programming
– Razvan Diaconescu
- 1994
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
|
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
|
|
5
|
Category-based Modularisation for Equational Logic Programming
– Razvan Diaconescu
- 1996
|
|
21
|
HYPERPROGRAMMING: A Formal Approach to Software Environments
– Joseph A. Goguen
- 1990
|
|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
31
|
An Implementation-Oriented Semantics for Module Composition
– Joseph Goguen, Will Tracz
- 1997
|
|
54
|
Metalogical Frameworks
– David A. Basin, Robert L. Constable, Im Stadtwald
- 1992
|
|
134
|
Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract)
– Donald Sannella, Andrzej Tariecki
|
|
19
|
Extended ML: an institution-independent framework for formal program development
– Donald Sannella , Andrzej Tarlecki
- 1986
|
|
|
An Axiomatic Approach to Structuring Specifications
– Răzvan Diaconescu
|
|
6
|
Structuring and Modularity
– Fernando Orejas
- 1996
|
|
54
|
Essential Concepts of Algebraic Specification and Program Development
– Donald Sannella, Andrzej Tarlecki
- 1996
|
|
18
|
Introducing FOOPS
– Lucia Rapanotti, Lucia Rapanotti, Adolfo Socorro, Adolfo Socorro
- 1992
|
|
20
|
Institutions: An Abstract Framework for Formal Specifications
– Andrzej Tarlecki
|
|
1
|
Kan Extensions of Institutions
– Grigore Rosu
|
|
2
|
Colimit Library for Graph Transformations and Algebraic Development Techniques
– Dietmar Wolz, Vom Fachbereich Informatik, Dr. Hartmut Ehrig, Berichter Prof, Berichter Prof, Dr. Martin Gogolla
- 1998
|
|
12
|
Combining and Representing Logical Systems
– Till Mossakowski , Andrzej Tarlecki, Wieslaw Pawlowski
- 1997
|
|
15
|
Combining and Representing Logical Systems Using Model-Theoretic Parchments
– Till Mossakowski, Andrzej Tarlecki
- 1997
|
