Partial Evaluation as a Means of Language Extensibility
Author(s)
Schooler, RichardAbstract
An optimization technique known as partial evaluation is explored. A partial evaluator optimizes code by making use of static information about program values. Our partial evaluator is designed to optimize mainly applicative code. Un-checked assertions are used to identify applicative constructs in the input code and guide the partial evaluator. Side-effects in the input code are retained but are not optimized.
Date issued
1984-08Series/Report no.
MIT-LCS-TR-324