Lection 2 (2/10/06) : Rewriting

Today we will discuss rewriting. Below I will list all relevant resources.

Rewriting in Spiral

Handout: rewriting.txt
Demo transcript: rewriting-demo.txt
Lecture scratchpad: rewriting-scratch.txt

Papers

The main paper on the topic is

Nachum Dershowitz, Jean-Pierre Jouannaud.
Rewrite Systems, (766 citations),
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), 1990.
(PS.gz) (PS) (PDF)

Other interesting papers in the area:

Narciso Martí-Oliet and José Meseguer.
Rewriting Logic: Roadmap and Bibliography.
(abstract) (BibTeX entry) (gzip'ed Postscript)

José Meseguer.
Research Directions in Rewriting Logic.
Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany, 1997. Springer-Verlag, 1998.
(abstract) (BibTeX entry) (gzip'ed Postscript)

Peter Csaba Ölveczky and José Meseguer.
Specifying Real-Time Systems in Rewriting Logic.
In 1st International Workshop on Rewriting Logic and its Applications (WRLA'96).
Electronic Notes in Theoretical Computer Science, Vol. 4. 1996
(abstract) (BibTeX entry) (gzip'ed Postscript)

For additional information refer to the Maude website.