Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Symbolic and Algebraic Manipulation

EUROSAM 1984: EUROSAM 84 pp 74–85Cite as

On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems

  • Simplification And Algorithm Implementation
  • Conference paper
  • First Online:

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

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. Thatcher, J.W.; Wagner, E.G.; Wright, J.B. "Specification of abstract data types using conditional axioms", IBM T.J.Watson Res. Center Rep. RC-6214, 1976.

    Google Scholar 

  2. Thatcher, J.W.; Wagner, E.G.; Wright, J.B. "Data type specification: parameterization and the power of specification techniques". Proc. 10th STOC, 1978.

    Google Scholar 

  3. Goguen, J.A.; Thatcher, J.W.; Wagner, E.G. "An initial algebra approach to the specification, correctness and implementation of abstract data types", in ‘Current Trends in Programming Methodology, Vol IV: Data Structuring’ R.T. Yeh (ed.), Prentice-Hall 1978.

    Google Scholar 

  4. Brand, D.; Darringuer, J.A.; Joyner, W.H. "Completeness of conditional reductions", IBM T.J.Watson Res. Center Rep. RC-7404, 1978.

    Google Scholar 

  5. Bergstra, J.A.; Broy, M.; Tucker, J.V.; Wirsing, M. "On the power of algebraic specifications", Proc. 10th, MFCS Springer LNCS 118, 1981.

    Google Scholar 

  6. Bergstra, J.A.; Klop, J.W. "Conditional rewrite rules: confluency and termination", Math. Centre Amsterdam, Internal report.

    Google Scholar 

  7. Bergstra, J.A.; Tucker, J.V. "A characterization of computable and semi-computable data types by means of a finite specification method", Proc. 7th. ICALP, Springer LNCS 85, 1980.

    Google Scholar 

  8. Drosten, K. "Towards executable specifications using conditional axioms" T.U. Braunschweig rep. 83-10, 1983.

    Google Scholar 

  9. Goguen, J.A. "Abstract errors for abstract data types", Proc. Conf. on Formal Description of Programming Concepts, North-Holland 1978.

    Google Scholar 

  10. Huet, G.; Oppen, D.C. "Equations and rewrite rules; a survey", in ‘Formal Language Theory: Perspectives and Open Problems', R. Book (ed.), Acad. Press, 1980.

    Google Scholar 

  11. Navarro, M. "Conditional term rewriting systems", Master's Thesis, Univ. Complutense, Madrid 1983 (in Spanish).

    Google Scholar 

  12. Orejas, F "On the power of conditional specifications", Sigplan Notices 14,7 (July 1979).

    Google Scholar 

  13. Pletat, U.; Engels, G.; Ehrich H.-D. "Operational semantics of algebraic specifications with conditional equations", Dortmund Univ. rep 118/81, 1981.

    Google Scholar 

  14. Remy, J.-L. "Etude des systemes de reecriture conditionnels et applications aux types abstraits algebriques", these de doctorat, C.R.I. Nancy, 1982.

    Google Scholar 

  15. Remy, J.-L. "Proving conditional identities by equational case reasoning, rewriting and normalization", Tech. Rep. CRI Nancy 1982.

    Google Scholar 

  16. Wirsing, M.; Pepper, P.; Partsch, H.; Dosch, W; Broy, M. "On hierarchies of abstract data types", Acta Informatics 20, 1 pp. 1–34; 1983.

    Google Scholar 

Download references

Author information

Author notes

  1. F. Orejas

    Present address: C.R.I. Nancy, B.P. 239, 54505, Vandoeuvre-les-Nancy Cedex, France

Authors and Affiliations

  1. Informatikako Fakultatea, Euskal Herriko Unibersitatea, Donostis, Spain

    M. Navarro

  2. Facultat d'Informatica, Universitat Politecnica, Barcelona, Spain

    F. Orejas

Authors
  1. M. Navarro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. F. Orejas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

John Fitch

Rights and permissions

Reprints and permissions

Copyright information

© 1984 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Navarro, M., Orejas, F. (1984). On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems. In: Fitch, J. (eds) EUROSAM 84. EUROSAM 1984. Lecture Notes in Computer Science, vol 174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0032832

Download citation

  • DOI: https://doi.org/10.1007/BFb0032832

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-13350-6

  • Online ISBN: 978-3-540-38893-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation