Formal Interoperability (1998)

Cached

Download Links

by José Meseguer
Citations:13 - 3 self

Active Bibliography

1 Reflection in Rewriting Logic and its Applications in the Maude Language – Manuel Clavel, José Meseguer - 1997
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
170 Maude: Specification and Programming in Rewriting Logic – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 2001
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
4 A reflective extension of ELAN – Hélène Kirchner, Pierre-etienne Moreau - 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
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
May I Borrow Your Logic? (Transporting Logical Structures along Maps) – Maura Cerioli, José Meseguer - 1995
10 Reflection in membership equational logic, many-sorted equational logic, horn logic with equality, and rewriting logic – Manuel Clavel, José Meseguer - 2002
5 Category-based Modularisation for Equational Logic Programming – Razvan Diaconescu - 1996
24 Category-based Semantics for Equational and Constraint Logic Programming – Razvan Diaconescu - 1994
1 Strategic Reflection – Patrick Lincoln, José Meseguer - 1998
1 Formal foundations for compositional software architectures – Carolyn Talcott - 1998
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
13 Executable Tile Specifications for Process Calculi – Roberto Bruni, José Meseguer, Ugo Montanari - 1999
10 Meta-reasoning: a Survey – Stefania Costantini - 2002
10 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993