Maude Manual and Examples

From The Maude System
Revision as of 21:58, 20 December 2020 by Malaga (Talk | contribs)

Jump to: navigation, search

Manual - Latest Version

The Maude manual for Maude 3.1 is available in PDF format and in HTML. The source code for the examples used in the manual is also available here together with the examples from the Maude book.

Additional Resources

A primer written for Maude 2.0.1 (but mostly applicable for later versions too) is available in PDF format. The examples are available as a tarred gzipped archive.

Roadmap and Bibliography

Some Relevant Papers on Maude and Rewriting Logic

  • José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)
  • José Meseguer, Miguel Palomino, Narciso Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008)