Control-Flow Refinement via Partial Evaluation
Authors: Jesús J. Doménech, Samir Genaim and John P. Gallagher
Paper Information
| Title: | Control-Flow Refinement via Partial Evaluation |
| Authors: | Jesús J. Doménech, Samir Genaim and John P. Gallagher |
| Proceedings: | WST WST2018proceedings |
| Editor: | Salvador Lucas |
| Keywords: | Control-Flow Refinment, Partial Evaluation, Termination Analysis, Cost Analysis, RankFinder, Koat |
| Abstract: | 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. |
| Pages: | 1 |
| Talk: | Jul 19 14:00 (Session 134I: Complexity / Applications) |
| Paper: |  |