@inproceedings{b714452f04ef40719bb0fdce04e01a54,
title = "Priority rewriting: Semantics, confluence, and conditionals",
abstract = "Priority rewrite systems (PRS) are partially ordered finite sets of rewrite rules; in this paper, two possible alternative definitions for rewriting with PRS are examined. A logical semantics for priority rewriting is described, using equational formulas obtained from the rules, and inequations which must be assumed to permit rewriting with rules of lower priority. Towards the goal of using PRS to define data type and function specifications, restrictions are given that ensure confluence and encourage modularity. Finally, the relation between priority and conditional rewriting is studied, and a natural combination of these mechanisms is proposed.",
author = "Mohan, {Chilukuri K.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1989.; 3rd International Conference on Rewriting Techniques and Applications, RTA 1989 ; Conference date: 03-04-1989 Through 05-04-1989",
year = "1989",
doi = "10.1007/3-540-51081-8_114",
language = "English (US)",
isbn = "9783540510819",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "278--291",
editor = "Nachum Dershowitz",
booktitle = "Rewriting Techniques and Applications - 3rd International Conference, RTA 1989",
}