How to control unfolding when specializing interpreters
- Cite this article as:
- Lakhotia, A. & Sterling, L. New Gener Comput (1990) 8: 61. doi:10.1007/BF03037513
- 11 Views
An interpreter can be viewed as performing two tasks: parsing and execution. Interpreters are specialized by partially evaluating the parsing activity while leaving the execution component as residue. We give a procedure for identifying goals that participate in the parsing process and present rules for unfolding these goals. The unfolding rules are independent of the object-program being compiled and can be generated by a one-time inspection of an interpreter. This makes specializing interpreters a practical technique for compiling programs.