Priority rewrite systems
Jcm Jos Baeten, JA Jan Bergstra, JW Jan Willem Klop · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1984
Term rewrite systems with rules of different priority are introduced.The semantics are explained in detail and several examples are discussed, including a rewrite rule interpretation of Backus functional programming.