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

Cached

Download Links

by Razvan Diaconescu
Citations:26 - 7 self

Active Bibliography

3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
10 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
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
4 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
1 CafeOBJ Jewels – Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
7 Category-based Constraint Logic – Razvan Diaconescu - 1999
9 Foundations of Behavioural Specification in Rewriting Logic – 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
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
3 Quasi-Boolean Encodings and Conditionals in Algebraic Specification – Răzvan Diaconescu
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
13 A Category-based Equational Logic Semantics to Constraint Programming – Razvan Diaconescu - 1996
29 Proving Correctness Of Refinement And Implementation – Grant Malcolm, Joseph A. Goguen - 1996
On the Algebra of the Structured Specifications – Răzvan Diaconescu