Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages (1996)

Cached

Download Links

by Razvan Diaconescu
Citations:28 - 7 self

Active Bibliography

5 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
16 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
25 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
Category-based Semantic Paramodulation – Razvan Diaconescu
Category-based Semantics for Equational and Constraint Logic Programming – Saint Anne's College - 1994
138 Introducing OBJ РJoseph A. Goguen, Timothy Winkler, Jos̩ Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
5 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp