Partial Evaluation as a Means of Language Extensibility
Name
MIT-LCS-TR-324.pdf
Size
3.06 MB
Format
Adobe PDF
Checksum (MD5)
ce0dd6788883fbe6a238301233e2ed8d
Author(s)
Schooler, Richard
Advisor(s)
Gifford, David K.
Date Issued
August 1984
Series/Report no.
MIT-LCS-TR-324
Abstract
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.
Persistent DSpace Link
