Difference between revisions of "Maude Manual and Examples"
From The Maude System
Line 14: | Line 14: | ||
* [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains crossreferences to proceedings volumes. | * [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains crossreferences to proceedings volumes. | ||
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without crossreferences. | * [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without crossreferences. | ||
+ | |||
+ | == Some Relevant Papers on Maude and Rewriting Logic == | ||
+ | |||
+ | José Meseguer: [https://doi.org/10.1016/j.jlap.2012.06.003 Twenty years of rewriting logic]. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012) |
Revision as of 21:52, 20 December 2020
Contents
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
- Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer.
- bibTeX file about Rewriting Logic that contains crossreferences to proceedings volumes.
- bibTeX file about Rewriting Logic without crossreferences.
Some Relevant Papers on Maude and Rewriting Logic
José Meseguer: Twenty years of rewriting logic. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012)