Action Analysis in Partial Evaluation for Object-oriented Languages

Hongyu GAO,Husheng LIAO
DOI: https://doi.org/10.3969/j.issn.1000-3428.2006.09.026
2006-01-01
Abstract:This paper describes an action analysis in partial evaluation for object-oriented languages. By defining a set of partial evaluation primitives, the action analysis transforms a program with binding-time annotations into a sequence of primitives, which indicates the specialization actions. As a result of its separating the processing logic from the implementation strategy of a partial evaluator, the action analysis can provide a common basis for different partial evaluation systems and simplify their structure.
What problem does this paper attempt to address?