| ||||
| ||||
![]() Title:Control-Flow Refinement via Partial Evaluation Conference:WST 2018 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. Control-Flow Refinement via Partial Evaluation ![]() Control-Flow Refinement via Partial Evaluation | ||||
Copyright © 2002 – 2025 EasyChair |