|
|
(2 intermediate revisions by the same user not shown) |
Line 8: |
Line 8: |
| A primer written for Maude 2.0.1 (but mostly applicable for later versions too) is available in [[Media:Maude-primer.pdf|PDF]] format. | | 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]]. | | The examples are available as a tarred gzipped [[Media:Maude-primer-Ex.tar.gz|archive]]. |
− |
| |
− | == Roadmap and Bibliography ==
| |
− |
| |
− | * [[Media:roadmap.ps|Rewriting Logic: Roadmap and Bibliography]] by Narciso Martí-Oliet and José Meseguer.
| |
− | * [[Media:Rwlcr.bib|bibTeX file]] about Rewriting Logic that contains crossreferences to proceedings volumes.
| |
− | * [[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)
| |
− |
| |
− | 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)
| |
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.