Difference between revisions of "Some Papers on Maude and on Rewriting Logic"

From The Maude System
Jump to: navigation, search
Line 17: Line 17:
 
* J. Meseguer: [https://doi.org/10.1016/j.jlamp.2019.100483 Generalized rewrite theories, coherence completion, and symbolic methods]. J. Log. Algebraic Methods Program. 110 (2020). A pre-print is available [[Media:BMgrt_2003.pdf|here]].
 
* J. Meseguer: [https://doi.org/10.1016/j.jlamp.2019.100483 Generalized rewrite theories, coherence completion, and symbolic methods]. J. Log. Algebraic Methods Program. 110 (2020). A pre-print is available [[Media:BMgrt_2003.pdf|here]].
  
* F. Durán, J. Meseguer, C. Rocha: [https://doi.org/10.1016/j.jlamp.2019.100513 Ground confluence of order-sorted conditional specifications modulo axioms]. J. Log. Algebraic Methods Program. 111: 100513 (2020)
+
* F. Durán, J. Meseguer, C. Rocha: [https://doi.org/10.1016/j.jlamp.2019.100513 Ground confluence of order-sorted conditional specifications modulo axioms]. J. Log. Algebraic Methods Program. 111: 100513 (2020). A pre-print is available [[Media:Durán.Mesegue.Rocha.Ground Confluence of Order-sorted Conditional Specifications Modulo Axioms.TR.pdf|here]].
 +
 
  
 
* C. Rocha, J. Meseguer, C. Muñoz: [https://doi.org/10.1016/j.jlamp.2016.10.001 Rewriting modulo SMT and open system analysis]. J. Log. Algebraic Methods Program. 86(1): 269-297 (2017)
 
* C. Rocha, J. Meseguer, C. Muñoz: [https://doi.org/10.1016/j.jlamp.2016.10.001 Rewriting modulo SMT and open system analysis]. J. Log. Algebraic Methods Program. 86(1): 269-297 (2017)

Revision as of 15:16, 30 December 2020

A friendly introduction to the latest advances in the symbolic features of Maude will appear in Proc. LOPSTER 2020: Symbolic Computation in Maude: Some Tapas.

Several bibliographies and surveys on rewriting logic and Maude have been published:

  • M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln, N. Martí-Oliet, C. L. Talcott: Two Decades of Maude. Logic, Rewriting, and Concurrency: 232-254 (2015). A pre-print is available here.

The following papers may serve as a selection of such huge body of work:


  • J. Meseguer, M. Palomino, N. Martí-Oliet: Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010). A pre-print is available here.
  • J. Meseguer, M. Palomino, N. Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008). A pre-print is available here.

Some Additional Papers on Maude and on Rewriting Logic are available here.