Keywords
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
Thatcher, J.W.; Wagner, E.G.; Wright, J.B. "Data type specification: parameterization and the power of specification techniques". Proc. 10th STOC, 1978.
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.
Brand, D.; Darringuer, J.A.; Joyner, W.H. "Completeness of conditional reductions", IBM T.J.Watson Res. Center Rep. RC-7404, 1978.
Bergstra, J.A.; Broy, M.; Tucker, J.V.; Wirsing, M. "On the power of algebraic specifications", Proc. 10th, MFCS Springer LNCS 118, 1981.
Bergstra, J.A.; Klop, J.W. "Conditional rewrite rules: confluency and termination", Math. Centre Amsterdam, Internal report.
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.
Drosten, K. "Towards executable specifications using conditional axioms" T.U. Braunschweig rep. 83-10, 1983.
Goguen, J.A. "Abstract errors for abstract data types", Proc. Conf. on Formal Description of Programming Concepts, North-Holland 1978.
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.
Navarro, M. "Conditional term rewriting systems", Master's Thesis, Univ. Complutense, Madrid 1983 (in Spanish).
Orejas, F "On the power of conditional specifications", Sigplan Notices 14,7 (July 1979).
Pletat, U.; Engels, G.; Ehrich H.-D. "Operational semantics of algebraic specifications with conditional equations", Dortmund Univ. rep 118/81, 1981.
Remy, J.-L. "Etude des systemes de reecriture conditionnels et applications aux types abstraits algebriques", these de doctorat, C.R.I. Nancy, 1982.
Remy, J.-L. "Proving conditional identities by equational case reasoning, rewriting and normalization", Tech. Rep. CRI Nancy 1982.
Wirsing, M.; Pepper, P.; Partsch, H.; Dosch, W; Broy, M. "On hierarchies of abstract data types", Acta Informatics 20, 1 pp. 1–34; 1983.
Author information
Authors and Affiliations
Editor information
Rights 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