Maude system
The Maude system is an implementation of rewriting logic developed at the University of Illinois at Urbana-Champaign. It is similar it its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful meta-programming based on reflection.
ReferencesBibliographyClavel, Durán, Eker, Lincoln, Martí-Oliet, Meseguer and Quesada, 1998. Maude as a Metalanguage, in Proc. 2nd International Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science 15, Elsevier.Martí-Oliet and José Meseguer, 2002. Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science 285(2):121-154.Martí-Oliet and José Meseguer, 1993-2000. Rewriting Logic as a Logical and Semantic Framework [1]. Electronic Notes in Theoretical Computer Science 4, Elsevier.External linksMaude homepage at University of Illinois at Urbana-Champaign;The Real-Time Maude Tool homepage developed by Peter Csaba Ölveczky;An introduction to Maude by Neal Harman.
|
|
