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

From The Maude System
Jump to: navigation, search
(Some Relevant Papers on Maude and Rewriting Logic)
Line 5: Line 5:
 
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without cross references.
 
* [[Media:Rwl.bib|bibTeX file]] about Rewriting Logic without cross references.
 
-->
 
-->
== Some Relevant Papers on Maude and Rewriting Logic ==
+
Several bibliographies on rewriting logic and Maude have been published:
 +
 
 +
N. Martí-Oliet, M. Palomino, A. Verdejo: [https://www.sciencedirect.com/science/article/pii/S1567832612000562?via%3Dihub Rewriting logic bibliography by topic: 1990–2011]. J. Log. Algebraic Methods Program. 81: 782-815 (2012)
 +
 
 +
N. Martí-Oliet, J. Meseguer: [https://www.sciencedirect.com/science/article/pii/S0304397501003577 Rewriting logic: roadmap and bibliography]. Theor. Comput. Sci. 285(2): 121-154 (2002)
 +
 
 +
The following papers may serve as a selection of such huge body of work:
  
 
* F. Durán, S. Eker, S. Escobar, N. Martí-Oliet, J. Meseguer, R. Rubio, C. L. Talcott: [https://doi.org/10.1016/j.jlamp.2019.100497 Programming and symbolic computation in Maude]. J. Log. Algebraic Methods Program. 110 (2020)
 
* F. Durán, S. Eker, S. Escobar, N. Martí-Oliet, J. Meseguer, R. Rubio, C. L. Talcott: [https://doi.org/10.1016/j.jlamp.2019.100497 Programming and symbolic computation in Maude]. J. Log. Algebraic Methods Program. 110 (2020)

Revision as of 16:18, 21 December 2020

Several bibliographies on rewriting logic and Maude have been published:

N. Martí-Oliet, M. Palomino, A. Verdejo: Rewriting logic bibliography by topic: 1990–2011. J. Log. Algebraic Methods Program. 81: 782-815 (2012)

N. Martí-Oliet, J. Meseguer: Rewriting logic: roadmap and bibliography. Theor. Comput. Sci. 285(2): 121-154 (2002)

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

  • 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)
  • 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