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

From The Maude System
Jump to: navigation, search
Line 6: Line 6:
 
-->
 
-->
 
Several bibliographies and surveys on rewriting logic and Maude have been published:
 
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: [https://doi.org/10.1007/978-3-319-23165-5_11 Two Decades of Maude]. Logic, Rewriting, and Concurrency: 232-254 (2015)
  
 
* J. 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)
 
* J. 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)
Line 22: Line 24:
  
 
* 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)
 
* M. Clavel, F. Durán, S. Eker, S. Escobar, P. Lincoln, N. Martí-Oliet, C. L. Talcott: [https://doi.org/10.1007/978-3-319-23165-5_11 Two Decades of Maude]. Logic, Rewriting, and Concurrency: 232-254 (2015)
 
  
 
* S. Escobar, R. Sasse, J. Meseguer: [https://doi.org/10.1016/j.jlap.2012.01.002 Folding variant narrowing and optimal variant termination]. J. Log. Algebraic Methods Program. 81(7-8): 898-928 (2012)
 
* S. Escobar, R. Sasse, J. Meseguer: [https://doi.org/10.1016/j.jlap.2012.01.002 Folding variant narrowing and optimal variant termination]. J. Log. Algebraic Methods Program. 81(7-8): 898-928 (2012)

Revision as of 19:49, 21 December 2020

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)

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)

Some Additional Papers on Maude and on Rewriting Logic