@inproceedings{15a44cc38b6a4b77a4019fb600d57082,

title = "Simulation as a correct transformation of rewrite systems",

abstract = "Kamperman and Walters proposed the notion of a simulation of one rewrite system by another one, whereby each term of the simulating rewrite system is related to a term in the original rewrite system. In this paper it is shown that if such a simulation is sound and complete and preserves termination, then the transformation of the original into the simulating rewrite system constitutes a correct step in the compilation of the original rewrite system. That is, the normal forms of a term in the original rewrite system can then be obtained by computing the normal forms of a related term in the simulating rewrite system.",

author = "Wan Fokkink and {van de Pol}, Jaco",

year = "1997",

month = jan,

day = "1",

language = "English",

isbn = "3540634371",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer - Verlag",

pages = "249--258",

editor = "Igor Privara and Peter Ruzicka",

booktitle = "Mathematical Foundations of Computer Science 1997 - 22nd International Symposium, MFCS 1997, Proceedings",

note = "22nd International Symposium on Mathematical Foundations of Computer Science, MFCS 1997 ; Conference date: 25-08-1997 Through 29-08-1997",

}