New Generation Computing

, Volume 8, Issue 1, pp 61–70

How to control unfolding when specializing interpreters

Authors

  • Arun Lakhotia
    • Department of Computer Engineering and ScienceCase Western Reserve University
  • Leon Sterling
    • Department of Computer Engineering and ScienceCase Western Reserve University
Regular Papers

DOI: 10.1007/BF03037513

Cite this article as:
Lakhotia, A. & Sterling, L. New Gener Comput (1990) 8: 61. doi:10.1007/BF03037513

Abstract

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.

Keywords

Partial EvaluationUnfoldingSpecializing Interpreters
Download to read the full article text

Copyright information

© Ohmsha, Ltd. and Springer 1990