Towards an Algebraic Semantics for the Object Paradigm (1994)

Cached

Download Links

by Joseph A. Goguen , Razvan Diaconescu
Venue:In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types
Citations:85 - 34 self

Active Bibliography

11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
3 Situated Adaptive Software: Beyond the Object Paradigm – Joseph A. Goguen, Grant Malcolm - 1995
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
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
7 Category-based Constraint Logic – Razvan Diaconescu - 1999
5 CafeOBJ: Logical Foundations and Methodologies – Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata - 2003
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
7 Maude's Module Algebra – Francisco Durán, José Meseguer - 2000
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
7 The Maude Specification of Full Maude – Francisco Durán, José Meseguer - 1999
2 A General Method for Safely Overwriting Theories in Mechanized Mathematics Systems – William M. Farmer - 1994
5 Semantics for Interoperability: relating ontologies and schemata – Trevor Bench-capon, Grant Malcolm, Michael Shave - 2002
8 An Algebraic Framework For The Definition Of Compositional Semantics Of Normal Logic Programs – Paqui Lucio, Fernando Orejas, Elvira Pino, Elvira - 1994