What is Unification? A Categorical View Of . . . (1989)

Cached

Download Links

by Joseph A. Goguen
Venue:RESOLUTION OF EQUATIONS IN ALGEBRAIC STRUCTURES, VOLUME 1: ALGEBRAIC TECHNIQUES

Active Bibliography

3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
13 Completeness of Category-Based Equational Deduction – Razvan Diaconescu - 1995
5 Stretching First Order Equational Logic: Proofs with Partiality, Subtypes and Retracts – Joseph A. Goguen - 1998
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
23 An Oxford Survey of Order Sorted Algebra – Joseph Goguen, Razvan Diaconescu - 1994
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
21 HYPERPROGRAMMING: A Formal Approach to Software Environments – Joseph A. Goguen - 1990
19 Introducing FOOPS – Lucia Rapanotti, Adolfo Socorro - 1992
My ADT Shrine – Hans-dieter Ehrich, Technische Universität Braunschweig
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
9 Octopus: A Reflective Language Mechanism for Object Manipulation – Alex Farkas, Alan Dearle - 1993
5 An Overview of Cafe Project – Kokichi Futatsugi, Ataru Nakagawa - 1997
Systems Synthesis: Towards a new paradigm and discipline for knowledge, software, and system development and maintenance – Keith Williamson - 2001
1 Morphisms and Semantics for Higher Order Parameterized Programming – Kai Lin, Joseph Goguen - 2002
1 Distributed Operational Semantics for the Object Paradigm – Grant Malcolm, Corina Cirstea - 1997
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
8 Interconnection of Object Specifications – Grant Malcolm - 1996