Part of the Lecture Notes in Computer Science book series
The Rewriting Calculus as a Semantics of ELAN
Rewriting techniques are now recognized as a fundamental concept in many areas of computer science including mechanized theorem proving and operational semantics of programming languages
- BKK+98._Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. An overview of ELAN. In Claude Kirchner and Hélène Kirchner, editors, Proceedings of the second International Workshop on Rewriting Logic and Applications, volume 15, http://www.elsevier.nl/locate/entcs/volume16.html, Pont-à-Mousson (France), September 1998. Electronic Notes in Theoretical Computer Science.
- CK98.Horatiu Cirstea and Claude Kirchner. ρ-calculus. Its syntax and basic properties. Research report 98-R-218, LORIA, August 1998.Google Scholar
- MK98.P.E. Moreau and H. Kirchner. A compiler for rewrite programs in associative-commutative theories. In C. Palamidessi, H. Glaser, and K. Meinke, editors, Principles of Declarative Programming, number 1490 in Lecture Notes in Computer Science, pages 230–249. Springer-Verlag, September 1998.CrossRefGoogle Scholar
- Vit96.Marian Vittek. A compiler for nondeterministic term rewriting systems. In Harald Ganzinger, editor, Proceedings of RTA’96, volume 1103 of Lecture Notes in Computer Science, pages 154–168, New Brunswick (New Jersey), July 1996. Springer-Verlag.Google Scholar
© Springer-Verlag Berlin Heidelberg 1998