TY  - RPRT
TI  - Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis
AU  - Jesús J. Doménech
AU  - John P. Gallagher
AU  - Samir Genaim
PY  - 2019
UR  - https://arxiv.org/abs/1907.12345
ID  - 1907.12345
ER  -