Some Papers on Maude and on Rewriting Logic

From The Maude System
Jump to: navigation, search

A friendly introduction to the latest advances in the symbolic features of Maude will appear in Proc. LOPSTER 2020: Symbolic Computation in Maude: Some Tapas.

In-depth presentations of Maude, and on how to use its most common features, are available in the following books:

Several bibliographies and surveys on rewriting logic and Maude have been published:

  • M. Clavel et al.: Two Decades of Maude. Logic, Rewriting, and Concurrency: 232-254 (2015). A pre-print is available here.

The following papers may serve as a selection of such huge body of work:

  • J. Meseguer, M. Palomino, and N. Martí-Oliet: Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010). A pre-print is available here.
  • J. Meseguer, M. Palomino, and N. Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008). A pre-print is available here.

Some Additional Papers on Maude and on Rewriting Logic are available here.