Building Equational Proving Tools by Reflection in Rewriting Logic (1998)

by Manuel Clavel , Francisco Durán , Steven Eker , José Meseguer
Venue:In Cafe: An Industrial-Strength Algebraic Formal Method
Citations:37 - 18 self

Documents Related by Co-Citation

439 Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1 – J Meseguer - 1992
157 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
78 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
145 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
134 A Logical Theory of Concurrent Objects and its Realization in the Maude Language – J Meseguer - 1993
46 The Maude LTL Model Checker – Steven Eker, José Meseguer, Ambarish Sridharanarayanan - 2002
18 An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 – Prasanna Thati, Koushik Sen, Narciso Mart-oliet - 2003
127 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
242 Automatic Verification of Pipelined Microprocessor Control – Jerry Burch, David Dill - 1994
13 From Rewrite Theories to Temporal Logic Theories – Grit Denker - 1998
49 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
147 PLAN: A packet language for active networks – Michael W. Hicks, Pankaj Kakkar , Jonathan T. Moore, Carl A. Gunter, Scott M. Nettles - 2006
52 Rewriting Logic: Roadmap and Bibliography – Narciso Martí-Oliet, José Meseguer - 2001
31 Research Directions in Rewriting Logic – José Meseguer - 1998
59 Reflection and Strategies in Rewriting Logic – Manuel Clavel - 1996
11 The Maude LTL Model Checker and its Implementation – Steven Eker, José Meseguer, Ambarish Sridharanarayanan - 2003
6 First-order identities as a defining language – M Wand - 1980
9 Plan in Maude: Specifying an Active Network Programming Language – Mark-Oliver Stehr, Carolyn L. Talcott - 2002
9 Executable Structural Operational Semantics in – A Verdejo, N Martí-Oliet - 2006