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

From The Maude System
Jump to: navigation, search
Line 30: Line 30:
  
 
* 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.
 
  
 
[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:40, 21 December 2020

Roadmap and Bibliography

Some Relevant Papers on Maude and Rewriting Logic

  • 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