Constructing Specifications and Modules in a KZ-Doctrine (1994)

Cached

Download Links

by Gillian Hill
Venue:Theory and Formal Methods '94, pages 219--236. Proceedings of the Second Imperial College, Department of Computing, Workshop on Theory and Formal Methods, Imperial College Press, distributed by World Scientific Publishing Co. ISBN
Citations:3 - 3 self

Active Bibliography

5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
An Axiomatic Approach to Structuring Specifications – Răzvan Diaconescu
On the Algebra of the Structured Specifications – Răzvan Diaconescu
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
unknown title – unknown authors - 2013
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
2 A Logical Approach to System Construction – Gillian Hill - 1995
9 Heterogeneous colimits – Mihai Codescu, Till Mossakowski - 2008
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
1 CafeOBJ Jewels – Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
7 Category-based Constraint Logic – Razvan Diaconescu - 1999
Under consideration for publication in Math. Struct. in Comp. Science Interpolation for Predefined Types – unknown authors - 2008
19 An Extensible Module Algebra For Maude – Francisco Durán, José Meseguer - 1998
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
Quasi-varieties and Initial Semantics for Hybridized Institutions – Răzvan Diaconescu