REVEUR4: A laboratory for conditional rewriting

  • Wadoud Bousdira
  • Jean-Luc Rémy
Part 2 System Presentations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 308)


Word Problem Critical Pair Boolean Expression Ground Term Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BR87]
    W. Bousdira and J.L. Rémy. Complétion des systèmes de réécriture conditionnelle. AFCET, Actes des journées GROSPLAN, revue BIGRE+GLOBULE, 1987.Google Scholar
  2. [BR88]
    W. Bousdira and J.L. Rémy. Hierarchical contextual rewriting with several levels. In 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, Lect. Notes in Comp. Sc, Springer, Berlin, 1988.Google Scholar
  3. [Der87]
    N. Dershowitz. Termination. Journal of Symbolic Computation, 3(1):69–115, 1987.Google Scholar
  4. [Gan87]
    H. Ganzinger. Ground term confluence in parametric conditional equational specifications. In F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing, editors, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, West Germany, Lect. Notes in Comp. Sc. No 247, pages 286–298, Springer, Berlin, 1987.Google Scholar
  5. [KB70]
    D. Knuth and P. Bendix. Simple word problems in universal algebras. In J. Leech, editor, Computational Problems in Abstract Algebra, pages 263–297, Pergamon Press, Elmsford, N.Y., 1970.Google Scholar
  6. [REM82]
    J.L. REMY. Etude des systèmes de réécriture conditionnelle et applications aux types abstraits algébriques. Thèse d'Etat de l'Institut National Polytechnique de Lorraine, Nancy, 1982.Google Scholar
  7. [RZ84]
    J.L. Rémy and H. Zhang. Reveur4: a system for validating conditional algebraic specifications of abstract data types. In 6th ECAI Conference, Pisa, Italy, 1984.Google Scholar
  8. [Zha84]
    H. Zhang. REVEUR4: Etude et mise en oeuvre de la réécriture conditionnelle. Thèse de 3ème cycle, Université de Nancy 1, 1984.Google Scholar
  9. [ZR85]
    H. Zhang and J.L. Rémy. Contextual rewriting. In J.P. Jouannaud, editor, 1st Conference on Rewriting Techniques and Applications, Dijon, France, Lect. Notes in Comp. Sc. No 202, pages 46–62, Springer, Berlin, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Wadoud Bousdira
    • 1
  • Jean-Luc Rémy
    • 1
  1. 1.C.R.I.N. Campus ScientifiqueVandœuvreFrance

Personalised recommendations