Rewrite : a general purpose rewriting program

Author

Hong Gee Chen

Date of Award

12-1984

Degree Type

Thesis

Degree Name

Master of Science

Major

Computer Science

Major Professor

J. Robin B. Cockett

Committee Members

Doyt L. Perry, Steven M. Serbin

Abstract

This thesis reviews the rewriting theory from the data structure and Prolog language point of view so that a basic rewriting program can be implemented using the theory. To allow a user to specify control strategies, "call by name" and "call by value" rules are allowed. Inherited and synthesized states have been included in the rewriting program to enhance its power. To make the rewriting explanation natural, quiet rewriting and recursive rewriting mechanisms have been included. In addition, an accounting system is used to curtail the redundant searches, while meta-level rule specifications can be used to define rules sharing the same characteristics.

Recommended Citation

Chen, Hong Gee, "Rewrite : a general purpose rewriting program. " Master's Thesis, University of Tennessee, 1984.
https://trace.tennessee.edu/utk_gradthes/14594