Tags:control flow, control flow refinement, Control-Flow Refinment, cost analysis, flow refinement, integer transition system, Koat, linear ranking function, Partial Evaluation, RankFinder and termination analysis
Abstract:
In this extended abstract we explored the use of partial evaluation as a control-flow refinement technique in the context for termination and cost analysis. Our preliminary experiments show that partial evaluation can improve both analyses.
