Category-based Semantics for Equational and Constraint Logic Programming (1994)

Cached

Download Links

by Razvan Diaconescu
Citations:24 - 10 self

Active Bibliography

5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
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
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
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
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms – Catherine Oriat - 1996
26 Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages – Razvan Diaconescu - 1996
11 Rewrite Proofs and Computations – Jean-pierre Jouannaud - 1995
4 A Hierarchy of Institutions Separated By Properties of Parameterized Data Types – Till Mossakowski - 1995
3 A Generalized Approach to Equational Unification – Katherine Anne Yelick - 1985
On the Algebra of the Structured Specifications – Răzvan Diaconescu
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
12 Synchronization of Logics – Amílcar Sernadas, Cristina Sernadas, Cristina Caleiro - 1996
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
My ADT Shrine – Hans-dieter Ehrich, Technische Universität Braunschweig
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
41 Constructing Specification Morphisms – Douglas R. Smith - 1993
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern