Difference between revisions of "Maude Manual and Examples"

From The Maude System
Jump to: navigation, search
 
(14 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
== Manual - Latest Version ==
 
== Manual - Latest Version ==
  
The Maude manual for Maude 3.0 is available in [[Media:Maude-3.0-manual.pdf|PDF format]] and as a [http://maude.lcc.uma.es/maude30-manual-html/maude-manual.html HTML] version.  
+
The Maude manual for Maude 3.4 is available in [[Media:Maude34manual.pdf|PDF format]] and in [http://maude.lcc.uma.es/maude-manual HTML].  
The source code for the examples used in the manual is also available [[Media:Maude-3.0-manual-book-examples.zip|here]] together with the examples from the Maude book.
+
The source code for the examples used in the manual is also available [[Media:Maude-3.4-manual-book-examples.zip|here]] together with the examples from the Maude book.
  
 
== Additional Resources ==
 
== Additional Resources ==
  
The primer for Maude 2.0.1 (but mostly applicable for later versions too) is available [[Maude 2 Primer and Examples|here]].
+
Some papers a reports on Maude, its formal foundations, and its applications are available in the  [[http://maude.cs.illinois.edu/w/index.php/Some_Papers_on_Maude_and_on_Rewriting_Logic Section on Some Papers on Maude and on Rewriting Logic]].
 +
A primer written for Maude 2.0.1 (but mostly applicable for later versions too) is available in [[Media:Maude-primer.pdf|PDF]] format.
 +
The examples are available as a tarred gzipped [[Media:Maude-primer-Ex.tar.gz|archive]].

Latest revision as of 13:38, 20 March 2024

Manual - Latest Version

The Maude manual for Maude 3.4 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

Some papers a reports on Maude, its formal foundations, and its applications are available in the [Section on Some Papers on Maude and on Rewriting Logic]. 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.