The Rewriting Calculus as a Semantics of ELAN

  • Horatiu Cirstea
  • Claude Kirchner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1538)


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


  1. 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,, Pont-à-Mousson (France), September 1998. Electronic Notes in Theoretical Computer Science.
  2. CK98.
    Horatiu Cirstea and Claude Kirchner. ρ-calculus. Its syntax and basic properties. Research report 98-R-218, LORIA, August 1998.Google Scholar
  3. 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
  4. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Horatiu Cirstea
    • 1
  • Claude Kirchner
    • 1
  1. 1.LORIA - INRIAVillers-lés-NancyFrance

Personalised recommendations