Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Conditional Term Rewriting Systems

CTRS 1987: Conditional Term Rewriting Systems pp 253–257Cite as

REVEUR4: A laboratory for conditional rewriting

  • Part 2 System Presentations
  • Conference paper
  • First Online:

  • 120 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 308))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. N. Dershowitz. Termination. Journal of Symbolic Computation, 3(1):69–115, 1987.

    Google Scholar 

  4. 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. 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. 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. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. C.R.I.N. Campus Scientifique, BP 239, F54506, Vandœuvre, France

    Wadoud Bousdira & Jean-Luc Rémy

Authors
  1. Wadoud Bousdira
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jean-Luc Rémy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Kaplan J. -P. Jouannaud

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bousdira, W., Rémy, JL. (1988). REVEUR4: A laboratory for conditional rewriting. In: Kaplan, S., Jouannaud, J.P. (eds) Conditional Term Rewriting Systems. CTRS 1987. Lecture Notes in Computer Science, vol 308. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19242-5_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-19242-5_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19242-8

  • Online ISBN: 978-3-540-39166-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation