Difference between revisions of "Maude Manual and Examples"

From The Maude System
Jump to: navigation, search
Line 18: Line 18:
  
 
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)
 
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)
 +
 +
Francisco Durán, José Meseguer: [https://doi.org/10.1016/j.jlap.2011.12.004 On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories]. J. Log. Algebraic Methods Program. 81(7-8): 816-850 (2012)
 +
 +
Musab AlTurki, José Meseguer: [https://doi.org/10.1007/978-3-642-22944-2_28 PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool]. CALCO 2011: 386-392
 +
 +
José Meseguer, Miguel Palomino, Narciso Martí-Oliet: [https://doi.org/10.1016/j.jlap.2009.07.003 Algebraic simulations]. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)
 +
 +
José Meseguer, Miguel Palomino, Narciso Martí-Oliet: [https://doi.org/10.1016/j.tcs.2008.04.040 Equational abstractions]. Theor. Comput. Sci. 403(2-3): 239-264 (2008)
 +
 +
Manuel Clavel, José Meseguer, Miguel Palomino: [https://doi.org/10.1016/j.tcs.2006.12.009 Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic]. Theor. Comput. Sci. 373(1-2): 70-91 (2007)
 +
 +
Roberto Bruni, José Meseguer: [https://doi.org/10.1016/j.tcs.2006.04.012 Semantic foundations for generalized rewrite theories]. Theor. Comput. Sci. 360(1-3): 386-414 (2006)

Revision as of 21:58, 20 December 2020

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: Twenty years of rewriting logic. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012)

Francisco Durán, José Meseguer: On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. J. Log. Algebraic Methods Program. 81(7-8): 816-850 (2012)

Musab AlTurki, José Meseguer: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. CALCO 2011: 386-392

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)

Manuel Clavel, José Meseguer, Miguel Palomino: Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic. Theor. Comput. Sci. 373(1-2): 70-91 (2007)

Roberto Bruni, José Meseguer: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006)