Difference between revisions of "Rewriting Logic"
Line 25: | Line 25: | ||
and a variety of [[Maude Tools|formal tools]] | and a variety of [[Maude Tools|formal tools]] | ||
have also been developed and have been used in a wide range of applications. | 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, | 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 | and others restricted to specific areas such as concurrency or object-based systems—have | ||
appeared so far | appeared so far | ||
− | [ | + | [https://doi.org/10.1007/3-540-61604-7_64 CONCUR'96], |
− | [http://maude.cs.illinois.edu/papers/abstract/Mdirections_1998.html | + | [http://maude.cs.illinois.edu/papers/abstract/Mdirections_1998.html Marktoberdorf'98], |
− | [ | + | [https://doi.org/10.1007/10721975_1 RTA'00], |
− | [ | + | [https://doi.org/10.1007/978-0-387-35520-7_5 FMOODS'00], |
− | [http://maude.cs.illinois.edu/papers/abstract/MMroadmap_2001.html Martí-Oliet and Meseguer 2002]. | + | [http://maude.cs.illinois.edu/papers/abstract/MMroadmap_2001.html Martí-Oliet and Meseguer 2002], |
+ | [https://doi.org/10.1016/j.jlap.2012.06.003 JLAMP'12], and | ||
+ | [https://doi.org/10.1007/978-3-662-57669-4_2 WoLLIC'18]. | ||
+ | Several versions of Maude have also been presented in different venues: | ||
+ | [https://doi.org/10.1007/978-3-319-40229-1_13 IJCAR'16] | ||
+ | [https://doi.org/10.4230/LIPIcs.RTA.2011.31 RTA'11] | ||
+ | [https://doi.org/10.1007/978-3-642-02348-4_27 RTA'04] | ||
+ | [https://doi.org/10.1007/3-540-44881-0_7 RTA'03] | ||
+ | [https://doi.org/10.1016/S1571-0661(05)80137-9 WRLA'00] | ||
+ | [https://doi.org/10.1007/3-540-48685-2_18 RTA'99]. | ||
+ | An account of the history of the language may be found in the [https://doi.org/10.1007/978-3-319-23165-5_11 Two Decades of Maude] paper of 2015. | ||
Maude should be seen as our contribution to the broader | Maude should be seen as our contribution to the broader |
Revision as of 11:16, 21 December 2020
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
- WRLA'16, The Netherlands
- WRLA'18, Greece
- WRLA'20, Ireland
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 CONCUR'96, Marktoberdorf'98, RTA'00, FMOODS'00, Martí-Oliet and Meseguer 2002, JLAMP'12, and WoLLIC'18.
Several versions of Maude have also been presented in different venues: IJCAR'16 RTA'11 RTA'04 RTA'03 WRLA'00 RTA'99. An account of the history of the language may be found in the Two Decades of Maude paper of 2015.
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.