|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
|
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
|
|
62
|
A Categorical Programming Language
– Tatsuya Hagino, Tatsuya Hagino
- 1987
|
|
|
Types as Theories
– Joseph Goguen Programming, Joseph A. Goguen
- 1991
|
|
8
|
A Survey of Formal Software Development Methods
– Donald Sannella
- 1988
|
|
7
|
A new semantics for Clear
– D. T. Sannella
|
|
14
|
Structured theory presentations and logic representations
– Robert Harper, Donald Sannella, Andrzej Tarlecki
- 1994
|
|
42
|
Little Theories
– William M. Farmer, Joshua D. Guttman, F. Javier Thayer
- 1992
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
54
|
Metalogical Frameworks
– David A. Basin, Robert L. Constable, Im Stadtwald
- 1992
|
|
79
|
Logical Support for Modularisation
– Razvan Diaconescu , Joseph Goguen, Petros Stefaneas
- 1993
|
|
25
|
DTRE - A Semi-Automatic Transformation System
– Lee Blaine, Allen Goldberg
- 1991
|
|
13
|
A Language for Generic Programming
– Jeremy G. Siek
- 2005
|
|
24
|
Category-based Semantics for Equational and Constraint Logic Programming
– Razvan Diaconescu
- 1994
|
|
35
|
Hope: An Experimental Applicative Language
– R. M. Burstall, D. B. MacQueen, D. T. Sannella
- 1980
|
|
|
Semantics Of Non-Terminating Systems Through Term Rewriting
– José Bernardo dos Santos Monteiro Vieira de Barros
- 1995
|
|
|
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
|
|
|
Specification Standards - A White Paper for the Center for High Integrity Software Systems Assurance
– Carl A. Gunter
- 1996
|
