Jesús J. Doménech, John P. Gallagher, Samir Genaim. Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. TPLP, 19(5-6):990-1005, 2019. [doi]
@article{DomenechGG19,
title = {Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis},
author = {Jesús J. Doménech and John P. Gallagher and Samir Genaim},
year = {2019},
doi = {10.1017/S1471068419000310},
url = {https://doi.org/10.1017/S1471068419000310},
researchr = {https://researchr.org/publication/DomenechGG19},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {19},
number = {5-6},
pages = {990-1005},
}