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

Active Bibliography

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
9 A Maude Tutorial – M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, J. F. Quesada - 2000
11 Metalevel Computation in Maude – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer - 1998
10 Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic – Peter Csaba Ölveczky - 2000
13 Maude as a Metalanguage – M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada - 1998
7 Maude's Module Algebra – Francisco Durán, José Meseguer - 2000
1 Strategic Reflection – Patrick Lincoln, José Meseguer - 1998
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
7 The Maude Specification of Full Maude – Francisco Durán, José Meseguer - 1999
Mathematical and Engineering Foundations for Interoperability via Architecture – John McCarthy, Carolyn Talcott, José Meseguer, Armando Haeberer - 1998
57 Metalogical Frameworks – David A. Basin, Robert L. Constable, Im Stadtwald - 1992
13 Executable Tile Specifications for Process Calculi – Roberto Bruni, José Meseguer, Ugo Montanari - 1999
123 Principles of Maude – Clavel Eker, M. Clavel, S. Eker, J. Meseguer - 1996
19 An Extensible Module Algebra For Maude – Francisco Durán, José Meseguer - 1998
33 Process and Term Tile Logic – Roberto Bruni, José Meseguer, Ugo Montanari - 1998
2 Formal modeling and analysis of distributed systems – Peter Csaba Ölveczky - 2008
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
31 Research Directions in Rewriting Logic – José Meseguer - 1998
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999