Advertisement

REVEUR4 : A laboratory for conditional rewriting

  • Wadoud Bousdira
  • Jean-Luc Remy
Systems Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)

References

  1. (B&R-86).
    BOUSDIRA. W., REMY. J.L, Complétion des systèmes de réécriture conditionnelle, Rapport de recherche 86-R-120, C.R.I.NGoogle Scholar
  2. (LES-84).
    LESCANNE. P, Uniform Termination of Term Rewriting Systems-Recursive Decomposition Ordering with Status, Proceedings 9th CAAP, Bordeaux, 1984Google Scholar
  3. (K&B-70).
    KNUTH. D, BENDIX. P, Simple Word Problems in Abstract Algebra, Leech J.ed, Pergamon Press, pp. 263–297, 1970Google Scholar
  4. (REM-82).
    REMY. J.L, Etude des systèmes de réécriture conditionnelle et applications aux types abstraits algébriques, Thèse d'Etat, I.N.P.L, Nancy, 1982Google Scholar
  5. (R&Z-84).
    REMY. J.L, ZHANG. H, REVEUR4: A system for validating conditional algebraic specifications of abstract data types, Proc. of 6th ECAI Conference, Pisa, Italy, 1984Google Scholar
  6. (ZHA-84).
    ZHANG. H, REVEUR4: Etude et mise en oeuvre de la réécriture conditionnelle, Thèse de 3ème cycle, Université de Nancy 1, 1984Google Scholar
  7. (Z&R-85).
    ZHANG. H, REMY. J.L, Contextual rewriting, Proc. of the 1st Conf. on Rewriting Techniques and Applications, Lect. Notes in Comp. Sci., 202, Dijon, France, 1985Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Wadoud Bousdira
    • 1
  • Jean-Luc Remy
    • 1
  1. 1.Centre de Recherche en Informatique de NancyVandoeuvre-Les-NancyFrance

Personalised recommendations