This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this informat ion are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The links below give access to abstracts of our papers and, for most of them, to dvi and/or postscript copies of the papers themselves. In some cases there are links to other sites where the papers are available.

The most recent ones come first.
 

• Maude as a Formal Meta-Tool. By Manuel Clavel, Francisco Durán, Steven Eker, and José Meseguer. Submitted for publication.
• Maude: Specification and Programming in Rewriting Logic. By Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and José Quesada. Maude System documentation.
• Metalevel Computation in Maude. By Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, and José Meseguer. In Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1998.
• An Extensible Module Algebra for Maude. By Francisco Durán and José Meseguer. In Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1998.
• Term Rewriting with Operator Evaluation Strategy. By Steven Eker. In Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1998.
• Maude as a Metalanguage. By Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and José Quesada. In Proc. 2nd Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1998.
• Specification and Proof in Membership Equational Logic. By Adel Bouhoula, Jean-Pierre Jouannaud, and José Meseguer. Manuscript, December 1998.
• Protocol Specification and Analysis in Maude. By Grit Denker, José Meseguer, and Carolyn Talcott. In N. Heintze and J. Wing, editors, Proc. of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998.
• Building Equational Proving Tools by Reflection in Rewriting Logic. By Manuel Clavel, Francisco Durán, Steven Eker, and José Meseguer. In Proceedings of the CafeOBJ Symposium '98, Sumazu, Japan. CafeOBJ Project, April, 1998.
• Design and Implementation of the Cafe Prover and Church-Rosser Checker Tools. By Manuel Clavel, Francisco Durán, Steven Eker, and José Meseguer. Manuscript, March 1998.
• Membership Algebra as a Logical Framework for Equational Specification. By José Meseguer. In F. Parisi-Presicce, ed., Proc. WADT'97, 18-61, Springer LNCS 1376, 1998.
• Research Directions in Rewriting Logic. By José Meseguer. In U. Berger and H. Schwichtenberg, editors, Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany, July 29 - August 6, 1997. Springer-Verlag, 1998.
• Principles of Maude. By Manuel Clavel, Steven Eker, Patrick Lincoln, and José Meseguer. In Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1996.
• Fast Matching in Combinations of Regular Equational Theories. By Steven Eker. In Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1996.
• Reflection and Strategies in Rewriting Logic.By Manuel Clavel and José Meseguer. In Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1996.
• Rewriting Logic as a Logical and Semantic Framework. By Narciso Martí-Oliet and José Meseguer. In Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1996.
• Specifying Real-Time Systems in Rewriting Logic. By Peter Csaba Ölveczky and José Meseguer. In Proc. 1st Intl. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Elsevier Sciences, 1996.
• Rewriting Logic as a Logical and Semantic Framework. By Narciso Martí-Oliet and  José Meseguer. In Technical Report SRI-CSL-93-05, SRI International, Computer Science Laboratory, August 1993. To appear in D. Gabbay, ed., Handbook of Philosophical Logic, Kluwer Academic Publishers.

Maude Home Page