Hiding and Behaviour: an Institutional Approach (1994)

Cached

Download Links

by Rod Burstall , Razvan Diaconescu
Citations:20 - 3 self

Active Bibliography

11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
25 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
5 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
www.elsevier.com/locate/tcs A hidden agenda( – Joseph Goguena, Grant Malcolmb
131 Introducing OBJ РJoseph A. Goguen, Timothy Winkler, Jos̩ Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
A Hidden Herbrand Theorem: Combining the Ob ject and Logic Paradigms – Tom Kemp
12 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
1 CafeOBJ Jewels – Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida