An Implementation-Oriented Semantics for Module Composition (1997)

by Joseph Goguen , Will Tracz
Citations:32 - 14 self

Active Bibliography

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
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
Behavioral Abstraction is Information Hiding – Grigore Rosu
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
4 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp
3 Situated Adaptive Software: Beyond the Object Paradigm – Joseph A. Goguen, Grant Malcolm - 1995
19 Parameterized Programming and Software Architecture – Joseph A. Goguen - 1996
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
9 Relations between Abstract Datatypes modeled as Abstract Datatypes – Hubert Baumeister - 1998