Reflection and Strategies in Rewriting Logic (1996)

Cached

Download Links

by Manuel Clavel
Citations:61 - 27 self

Documents Related by Co-Citation

124 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996
35 Reflection in general logics and in rewriting logic, with applications to the Maude language – M Clavel - 1998
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
19 An Introduction to Maude (Beta Version – M Clavel, F Durn, S Eker, P Lincoln, J Meseguer - 1998
86 ELAN: A logical framework based on computational systems – Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek - 1997
21 Internal Strategies in a Reflective Logic – Manuel Clavel, José Meseguer - 1997
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
104 Specification and Proof in Membership Equational Logic – Adel Bouhoula, Jean-pierre Jouannaud, Jos'e Meseguer - 1996
35 Axiomatizing Reflective Logics and Languages – Manuel G. Clavel, José Meseguer - 1996
34 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
475 Conditional Rewriting Logic as a unified model of concurrency – J Meseguer - 1992
42 A characterisation of computable data types by means of a finite equational specification method – J A Bergstra, J V Tucker - 1980
42 Controlling Rewriting by Rewriting – Peter Borovansk'y, Claude Kirchner
121 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
10 Axiomatizing re logics and languages – M Clavel, J Meseguer - 1996
136 A Logical Theory of Concurrent Objects and its Realization in the Maude Language – J Meseguer - 1992
49 Conditional Rewriting Logic as a Uni Model of Concurrency – J Meseguer - 1992
31 Research Directions in Rewriting Logic – José Meseguer - 1998