|
|
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
|
Higher Order Functions Considered Unnecessary for Higher Order Programming
– Joseph A. Goguen
- 1990
|
|
62
|
A Categorical Programming Language
– Tatsuya Hagino, Tatsuya Hagino
- 1987
|
|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
13
|
A Language for Generic Programming
– Jeremy G. Siek
- 2005
|
|
203
|
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
– Joseph A. Goguen
- 1992
|
|
1
|
Should ML be object-oriented?
– David MacQueen
|
|
|
The C++0x “Concepts” Effort
– Jeremy G. Siek
- 2011
|
|
25
|
DTRE - A Semi-Automatic Transformation System
– Lee Blaine, Allen Goldberg
- 1991
|
|
|
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i--
– Donald Sannella, Andrzej Tarlecki
|
|
66
|
On Observational Equivalence and Algebraic Specification
– Donald Sannella, Andrzej Tarlecki
- 1987
|
|
26
|
Environments: a flexible binding mechanism to support system evolution
– Alan Dearle
- 1989
|
|
|
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs
– Gary T. Leavens, William E. Weihl
- 1994
|
|
|
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms
– Catherine Oriat
- 1996
|
|
3
|
On the Compositionality and Analysis of Algebraic High-Level Nets
– Johan Lilius, Johan Lilius
- 1991
|
|
2
|
A Distributed Architecture Definition Language: a DADL
– Ron Burback
- 1998
|
|
1
|
Concepts of Object Paradigm for an Approach to Modular Specification of Communication Protocols
– Jörg Fischer, C Fl Jorg Fischer, Otto-von-guericke-universitat Magdeburg, Fakultat Fur Informatik
- 1999
|
|
3
|
Constructing Specifications and Modules in a KZ-Doctrine
– Gillian Hill
- 1994
|
|
1
|
Detecting Isomorphisms of Modular Specifications with Diagrams
– Catherine Oriat
- 1995
|
