Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Jesús J. Doménech, John P. Gallagher, Samir Genaim

Control-flow refinement refers to program transformations whose purpose is to make implicit control-flow explicit, and is used in the context of program analysis to increase precis…