|
|
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
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
24
|
Category-based Semantics for Equational and Constraint Logic Programming
– Razvan Diaconescu
- 1994
|
|
4
|
On the Role of Category Theory in the Area of Algebraic Specifications
– H. Ehrig, M. Große-Rhode, U. Wolter
- 1996
|
|
6
|
Structuring and Modularity
– Fernando Orejas
- 1996
|
|
62
|
A Categorical Programming Language
– Tatsuya Hagino, Tatsuya Hagino
- 1987
|
|
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
|
|
203
|
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
– Joseph A. Goguen
- 1992
|
|
3
|
Institutions for Logic Programming
– Fernando Orejas, Elvira Pino, Hartmut Ehrig
- 1997
|
|
7
|
An Algebraic Framework For The Definition Of Compositional Semantics Of Normal Logic Programs
– Paqui Lucio, Fernando Orejas, Elvira Pino, Elvira
- 1994
|
|
14
|
Structured theory presentations and logic representations
– Robert Harper, Donald Sannella, Andrzej Tarlecki
- 1994
|
|
21
|
HYPERPROGRAMMING: A Formal Approach to Software Environments
– Joseph A. Goguen
- 1990
|
|
|
Scetches and Specifications User'S Gude -- First . . .
– Dominique Duval, Christian Lair
- 2000
|
|
1
|
Detecting Isomorphisms of Modular Specifications with Diagrams
– Catherine Oriat
- 1995
|
|
|
Semantics Of Non-Terminating Systems Through Term Rewriting
– José Bernardo dos Santos Monteiro Vieira de Barros
- 1995
|
|
7
|
Denotational Semantics of Object Specification
– Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro, Key Words
- 1998
|
|
134
|
Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract)
– Donald Sannella, Andrzej Tariecki
|
|
5
|
Category-based Modularisation for Equational Logic Programming
– Razvan Diaconescu
- 1996
|
|
11
|
A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
– Joseph Goguen, Grant Malcolm, Tom Kemp
- 1998
|
