Difference between revisions of "Some Papers on Maude and on Rewriting Logic"
From The Maude System
Line 23: | Line 23: | ||
* R. Bruni, J. 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) | * R. Bruni, J. 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) | ||
− | * M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. Quesada: | + | * 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) |
− | Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002) | + | |
* 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) | ||
Line 32: | Line 31: | ||
* 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) | * 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) | ||
− | + | * M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott. All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Springer. | |
− | * All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic | + | |
− | + | ||
− | Springer | + | |
[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 09:44, 21 December 2020
Roadmap and Bibliography
- Rewriting Logic: Roadmap and Bibliography by Narciso Martí-Oliet and José Meseguer.
- bibTeX file about Rewriting Logic that contains cross references to proceedings volumes.
- bibTeX file about Rewriting Logic without cross references.
Some Relevant Papers on Maude and Rewriting Logic
- J. Meseguer: Twenty years of rewriting logic. J. Log. Algebraic Methods Program. 81(7-8): 721-781 (2012)
- F. Durán, J. Meseguer: 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: PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. CALCO 2011: 386-392
- J. Meseguer, M. Palomino, N. Martí-Oliet: Algebraic simulations. J. Log. Algebraic Methods Program. 79(2): 103-143 (2010)
- J. Meseguer, M. Palomino, N. Martí-Oliet: Equational abstractions. Theor. Comput. Sci. 403(2-3): 239-264 (2008)
- M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. Talcott: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS 4350, Springer (2007)
- M. Clavel, J. Meseguer, M. Palomino: 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)
- R. Bruni, J. Meseguer: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1-3): 386-414 (2006)
- 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)
- Narciso Martí-Oliet, José Meseguer: Rewriting logic as a logical and semantic framework. WRLA: 190-225 (1996)
- J. Meseguer: Conditional rewriting logic as a unified model of concurrency. Theor. Comput. Sci. 96(1): 73-155 (1996)
- J. Meseguer: Membership algebra as a logical framework for equational specification. WADT: 18-61 (1997)
- M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott. All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Springer.