Difference between revisions of "Rewriting Logic"

From The Maude System
Jump to: navigation, search
(Created Rewriting Logic from the old page)
 
m
(3 intermediate revisions by the same user not shown)
Line 7: Line 7:
 
The following  international workshops on rewriting logic have been held:
 
The following  international workshops on rewriting logic have been held:
  
* RWLW'96, United States  
+
* [http://www.sciencedirect.com/science/journal/15710661/4 RWLW'96], United States  
* WRLA'98, France  
+
* [http://www.sciencedirect.com/science/journal/15710661/15 WRLA'98], France  
* WRLA'00, Japan  
+
* [http://www.sciencedirect.com/science/journal/15710661/36 WRLA'00], Japan  
* WRLA'02,  Italy
+
* [http://www.sciencedirect.com/science/journal/15710661/71 WRLA'02],  Italy
* WRLA'04, Spain
+
* [http://www.sciencedirect.com/science/journal/15710661/117 WRLA'04], Spain
 +
* [http://www.sciencedirect.com/science/journal/15710661/176/4 WRLA'06], Austria
 +
* [http://www.sciencedirect.com/science/journal/15710661/238/3 WRLA'08], Hungary
 +
* [http://link.springer.com/book/10.1007/978-3-642-16310-4/page/1 WRLA'10], Cyprus
 +
* [http://link.springer.com/book/10.1007/978-3-642-34005-5/page/1 WRLA'12], Estonia
 +
* [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], FRANCE
  
 
Furthermore, several language implementations of rewriting logic
 
Furthermore, several language implementations of rewriting logic
([http://www.ldl.jaist.ac.jp/cafeobj/index.html CafeOBJ], [http://www.loria.fr/ELAN/ ELAN],  [[The Maude System|Maude]], etc.)
+
([http://www.ldl.jaist.ac.jp/cafeobj/index.html CafeOBJ], [http://elan.loria.fr/ ELAN],  [[The Maude System|Maude]], etc.)
 
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
 
[Meseguer at CONCUR'96],
 
[Meseguer at CONCUR'96],
[<A HREF="papers/abstract/Mdirections_1998.html">Meseguer at Marktoberdorf'98</A>],
+
[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
[<A HREF="papers/abstract/MMroadmap_2001.html">Mart&iacute;-Oliet and Meseguer 2002</A>].
+
[http://maude.cs.illinois.edu/papers/abstract/MMroadmap_2001.html Mart&iacute;-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:

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.