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:38 - 19 self

Documents Related by Co-Citation

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
472 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
51 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
135 A logical theory of concurrent objects and its realization in the Maude language – J Meseguer - 1993
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
54 ELAN from a rewriting logic point of view – Claude Kirchner, Hélène Kirchner, Pierre-etienne Moreau - 2002
156 PLAN: A packet language for active networks – Michael W. Hicks, Pankaj Kakkar , Jonathan T. Moore, Carl A. Gunter, Scott M. Nettles - 2006
56 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
14 On the algebraic definition of programming languages – M Broy, M Wirsing, P Pepper - 1987
6 First-order identities as a defining language – M Wand - 1980
9 Executable Structural Operational Semantics in – A Verdejo, N Martí-Oliet - 2006
103 Algebraic Semantics of Imperative Programs – Joseph A Goguen, Grant Malcolm - 1996
10 Plan in Maude: Specifying an Active Network Programming Language – Mark-Oliver Stehr, Carolyn L. Talcott - 2002