Partial Evaluation as a Means of Language Extensibility

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...

Full description

Bibliographic Details
Main Author: Schooler, Richard
Other Authors: Gifford, David K.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149597

Similar Items