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:39 - 20 self

Documents Related by Co-Citation

174 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
475 Conditional Rewriting Logic as a unified model of concurrency – J Meseguer - 1992
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
53 The Maude LTL Model Checker – Steven Eker, José Meseguer, Ambarish Sridharanarayanan - 2002
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
136 A Logical Theory of Concurrent Objects and its Realization in the Maude Language – J Meseguer - 1992
142 Membership Algebra as a Logical Framework for Equational Specification – José Meseguer, A Mi Madre, Fuensanta Guaita De Meseguer - 1998
12 From Rewrite Theories to Temporal Logic Theories – Grit Denker - 1998
53 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
155 PLAN: A packet language for active networks – Michael W. Hicks, Pankaj Kakkar , Jonathan T. Moore, Carl A. Gunter, Scott M. Nettles - 2006
58 Rewriting Logic: Roadmap and Bibliography – Narciso Martí-Oliet, José Meseguer - 2001
31 Research Directions in Rewriting Logic – José Meseguer - 1998
61 Reflection and Strategies in Rewriting Logic – Manuel Clavel - 1996
16 Computational models for open distributed systems – E Najm, J-B Stefani - 1997
6 First-order identities as a defining language – M Wand - 1980
9 Executable Structural Operational Semantics in – A Verdejo, N Martí-Oliet - 2006
104 Algebraic Semantics of Imperative Programs – J A Goguen, G Malcolm - 1996
21 An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 – Prasanna Thati, Koushik Sen, Narciso Mart-oliet - 2003
11 Plan in Maude: Specifying an Active Network Programming Language – Mark-Oliver Stehr, Carolyn L. Talcott - 2002