A PARTIAL EVALUATOR FOR FLOW CHART LANGUAGEBASED ON THE LIVENESS ANALYSIS
Weidong Lu · 1997
This paper describes a partial evaluator for the flow chart language which is based on the liveness analysis. This partial evaluator consists of liveness analysis, binding time analysis, annotation and specialization. With the liveness informations, the binding time analysis can get the abstract interpretation to variables much more precisely than usual. So the quality of the residual program produced by the specialization is improved.