J. A. Bergstra

Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands).

J. W. Klop

E.-R. Olderog

Failures Without Chaos: a New Process Semantics for Fair Abstraction

J. F. Th Kamperman

Abstract: "A simple, efficient, and correct compilation technique for left-linear Term Rewriting Systems (TRSs) is presented. TRSs are compiled into Minimal Term Rewriting Systems (MTRSs), a subclass of TRSs, presented in [WK95]. In MTRSs, the rules have such a simple form that they can be seen as instructions for an easily implementable abstract machine, the Abstract Rewriting Machine (ARM). In the correctness proof, it is shown that the MTRS resulting from compilation of a TRS simulates neither too much (soundness)nor too little (completeness), nor does it introduce unwarranted infinite sequences (termination conservation). The compiler and its correctness proof are largely independent of the reduction strategy."

Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands).

About

Books

Join the club