How to control unfolding when specializing interpreters

Search Swinburne Research Bank

Home

Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/94947

Title: How to control unfolding when specializing interpreters
Author(s): Lakhotia, Arun; Sterling, Leon
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.
Publication type: Journal article
Source: New Generation Computing, Vol. 8, no. 1 (1990), pp. 61-70
Publication year: 1990
FOR Code(s): 0801 Artificial Intelligence and Image Processing; 0803 Computer Software; 1702 Cognitive Sciences
Keyword(s): Interpreters; Unfolding
Publisher: Springer
ISSN: 0288-3635
Publisher URL: http://dx.doi.org/10.1007/BF03037513
Peer reviewed