Correct transformation of rewrite systems for implementation purposes
Wan J. Fokkink, van de Jaco Pol · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1996
We propose the notion of a correct transformation of one rewrite system into another. If such a transformation is correct, then the normal forms of a term in the original rewrite system can be obtained by computing the normal forms of the interpretation of this term in the transformed rewrite system. We showfor several transformations from the literature that they are correct, most notably for the notion of simulation from Kamperman and Walters. 1