Reflection and Strategies in Rewriting Logic (1996)

Cached

Download Links

by Manuel Clavel
Citations:62 - 27 self

Active Bibliography

149 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
12 Formal Interoperability – José Meseguer - 1998
A Reflective Framework for Formal Interoperability – SRI, Computer Systems Laboratory, Department of Computer Science, Stanford University - 1998
1 Reflection in Rewriting Logic and its Applications in the Maude Language – Manuel Clavel, José Meseguer - 1997
176 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
147 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
83 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
38 Building Equational Proving Tools by Reflection in Rewriting Logic – Manuel Clavel, Francisco Durán, Steven Eker, José Meseguer - 1998