Difference between revisions of "Rewriting Logic"
m (Updated workshops) |
m |
||
Line 28: | Line 28: | ||
appeared so far | appeared so far | ||
[Meseguer at CONCUR'96], | [Meseguer at CONCUR'96], | ||
− | [ | + | [http://maude.cs.illinois.edu/papers/abstract/Mdirections_1998.html Meseguer at Marktoberdorf'98], |
[Meseguer at RTA'00], | [Meseguer at RTA'00], | ||
[Meseguer at FMOODS'00], and | [Meseguer at FMOODS'00], and | ||
− | [ | + | [http://maude.cs.illinois.edu/papers/abstract/MMroadmap_2001.html Martí-Oliet and Meseguer 2002]. |
Revision as of 04:10, 22 July 2014
The theory and applications of rewriting logic have been vigorously developed by researchers all over the world during the past years, with more than three hundred papers related to rewriting logic published so far (see the roadmap).
The following international workshops on rewriting logic have been held:
- RWLW'96, United States
- WRLA'98, France
- WRLA'00, Japan
- WRLA'02, Italy
- WRLA'04, Spain
- WRLA'06, Austria
- WRLA'08, Hungary
- WRLA'10, Cyprus
- WRLA'12, Estonia
- WRLA'14, FRANCE
Furthermore, several language implementations of rewriting logic (CafeOBJ, ELAN, Maude, etc.) and a variety of formal tools have also been developed and have been used in a wide range of applications.
Several snapshots of the state of rewriting logic research—some more global in scope,
and others restricted to specific areas such as concurrency or object-based systems—have
appeared so far
[Meseguer at CONCUR'96],
Meseguer at Marktoberdorf'98,
[Meseguer at RTA'00],
[Meseguer at FMOODS'00], and
Martí-Oliet and Meseguer 2002.
Maude should be seen as our contribution to the broader
collective effort of building good language implementations for
rewriting logic. In this regard, a key distinguishing feature of
Maude is its systematic and efficient use of reflection,
exploiting the fact that rewriting logic is reflective, a feature that
makes Maude remarkably extensible and powerful, and that allows many
advanced metaprogramming and metalanguage applications.