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

From The Maude System
Jump to: navigation, search
Line 6: Line 6:
  
 
== Some Relevant Papers on Maude and Rewriting Logic ==
 
== Some Relevant Papers on Maude and Rewriting Logic ==
 +
 +
* 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, 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)
 +
 +
* 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 11: Line 17:
 
* F. Durán, J. 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)
 
* F. Durán, J. 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)
  
* M. AlTurki, J. 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
+
* M. AlTurki, J. Meseguer: [https://doi.org/10.1007/978-3-642-22944-2_28 PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool]. CALCO: 386-392 (2011)
  
 
* J. Meseguer, M. Palomino, N. Martí-Oliet: [https://doi.org/10.1016/j.jlap.2009.07.003 Algebraic simulations]. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)
 
* J. Meseguer, M. Palomino, N. Martí-Oliet: [https://doi.org/10.1016/j.jlap.2009.07.003 Algebraic simulations]. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)
Line 24: Line 30:
  
 
* M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. Quesada: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002)
 
* M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. Quesada: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002)
 +
 +
* J. Meseguer: [https://doi.org/10.1007/3-540-64299-4_26 Membership algebra as a logical framework for equational specification]. WADT: 18-61 (1997)
  
 
* Narciso Martí-Oliet, José Meseguer: [https://doi.org/10.1016/S1571-0661(04)00040-4 Rewriting logic as a logical and semantic framework]. WRLA: 190-225 (1996)
 
* Narciso Martí-Oliet, José Meseguer: [https://doi.org/10.1016/S1571-0661(04)00040-4 Rewriting logic as a logical and semantic framework]. WRLA: 190-225 (1996)
  
 
* J. Meseguer: [https://www.sciencedirect.com/science/article/pii/030439759290182F Conditional rewriting logic as a unified model of concurrency]. Theor. Comput. Sci. 96(1): 73-155 (1996)
 
* J. Meseguer: [https://www.sciencedirect.com/science/article/pii/030439759290182F Conditional rewriting logic as a unified model of concurrency]. Theor. Comput. Sci. 96(1): 73-155 (1996)
 
* J. Meseguer: [https://doi.org/10.1007/3-540-64299-4_26 Membership algebra as a logical framework for equational specification]. WADT: 18-61 (1997)
 
  
 
[http://maude.cs.illinois.edu/papers/ Some Additional Papers on Maude and on Rewriting Logic]
 
[http://maude.cs.illinois.edu/papers/ Some Additional Papers on Maude and on Rewriting Logic]

Revision as of 10:45, 21 December 2020

Roadmap and Bibliography

Some Relevant Papers on Maude and Rewriting Logic

  • 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)
  • M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. Quesada: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002)

Some Additional Papers on Maude and on Rewriting Logic