%0 Journal Article %1 journals/tplp/DomenechGG19 %A Doménech, Jesús J. %A Gallagher, John P. %A Genaim, Samir %D 2019 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 990-1005 %T Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. %U http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#DomenechGG19 %V 19

@article{journals/tplp/DomenechGG19, added-at = {2020-02-13T00:00:00.000+0100}, author = {Doménech, Jesús J. and Gallagher, John P. and Genaim, Samir}, biburl = {https://www.bibsonomy.org/bibtex/285d7f912afd5393a05c38ab790a55fb8/dblp}, ee = {https://doi.org/10.1017/S1471068419000310}, interhash = {271a68df30bf31e2c21f59fa751e3060}, intrahash = {85d7f912afd5393a05c38ab790a55fb8}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {990-1005}, timestamp = {2020-02-14T11:43:25.000+0100}, title = {Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp19.html#DomenechGG19}, volume = 19, year = 2019 }