Abstract
Term rewriting systems with rules of different priority are introduced. The semantics are explained in detail and several examples are discussed. Note: Partial support received from the European Communities under Esprit contract no. 432, Meteor (An integrated formal approach to industrial software development).
Chapter PDF
Similar content being viewed by others
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.
References
J.C.M. Baeten, J.A. Bergstra & J.W. Klop, Priority rewrite systems, Report CS-R8407, Centre for Mathematics and Computer Science, Amsterdam 1984.
J.A. Bergstra & J.W. Klop, Conditional rewrite rules: confluency and termination, JCSS 32, pp. 323–362, 1986.
J.A.Bergstra & J.W.Klop, Algebraic specifications for parametrized data types with minimal parameter and target algebras, Proc. ICALP 1982, Springer LNCS 140, 1982.
J.A. Bergstra & J.W. Klop, Initial algebra specifications for parametrized data types, EIK 19, pp. 17–31, 1983.
H.Ehrig & B.Mahr, Fundamentals of algebraic specification 1, Springer EATCS Monographs on Theor. Comp. Sci., Springer-Verlag 1985.
J.A. Goguen, J.W. Thatcher & E.G. Wagner, An initial algebra approach to the specification, correctness and implementation of abstract datatypes, Current trends in Progr. Meth. IV, Data structuring (R.T. Yeh, ed.), Prentice Hall, New Jersey, 1978.
J.A.Goguen, J.W.Thatcher & J.B.Wright, Abstract datatypes as initial algebras and correctness of datatype representations, Proc. ACM Conf. on Comp. Graphics, Pattern Recognition and Data Structure, ACM, New York 1975.
G.Huet & D.C.Oppen, Equations and rewrite rules, a survey, Formal Lang., Perspectives and Open Problems, Academic Press, 1980.
S. Kaplan, Conditional rewrite rules, Theor. Comp. Sci. 33 (2/3), pp. 175–193, 1984.
H.A.Klaeren, Algebraische Spezification, eine Einführung, Springer Lehrbuchreihe Informatik, 1983.
J.W.Klop, Combinatory reduction systems, Math. Centre Tract 127, Amsterdam 1980.
J.W.Klop, Term rewriting systems, Notes for Seminar on Reduction Machines, Ustica 1985, to appear.
B.Kutzler & F.Lichtenberger, Bibliography on abstract datatypes, Informatische Fachberichte 68, Springer 1983.
M.J.O'Donnell, Computing in systems described by equations, Springer LNCS 58, 1977.
M.J.O'Donnell, Equational logic as a programming language, MIT Press, 1985.
U.Pletat, G.Engels & H.D.Ehrich, Operational semantics of algebraic specifications with conditional equations, Forschungsbericht 118/81, Abteilung Informatik, Univ. Dortmund, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baeten, J.C.M., Bergstra, J.A., Klop, J.W. (1987). Term rewriting systems with priorities. In: Lescanne, P. (eds) Rewriting Techniques and Applications. RTA 1987. Lecture Notes in Computer Science, vol 256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17220-3_8
Download citation
DOI: https://doi.org/10.1007/3-540-17220-3_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17220-8
Online ISBN: 978-3-540-47421-0
eBook Packages: Springer Book Archive