An action analysis for combining partial evaluation
This paper proposes an action analysis for implementing combining partial evaluation efficiently. By analyzing the results of binding time analysis, operations, which should be used in the combining partial evaluation, are determined in advance, so that the computation in the combination of specialized programs is reduced effectively.
partial evaluation binding time analysis program static analysis