%0 Journal Article %1 journals/tplp/Lopez-GarciaKLH16 %A López-García, Pedro %A Klemen, Maximiliano %A Liqat, Umer %A Hermenegildo, Manuel V. %D 2016 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 849-865 %T A general framework for static profiling of parametric resource usage. %U http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#Lopez-GarciaKLH16 %V 16

@article{journals/tplp/Lopez-GarciaKLH16, added-at = {2020-02-13T00:00:00.000+0100}, author = {López-García, Pedro and Klemen, Maximiliano and Liqat, Umer and Hermenegildo, Manuel V.}, biburl = {https://www.bibsonomy.org/bibtex/2c2422dd11a1a0015e7ea8202e890dd80/dblp}, ee = {https://doi.org/10.1017/S1471068416000442}, interhash = {04faa5b9ee2c8d20438fc12a9ad9a2d3}, intrahash = {c2422dd11a1a0015e7ea8202e890dd80}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {849-865}, timestamp = {2020-02-14T11:43:39.000+0100}, title = {A general framework for static profiling of parametric resource usage.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp16.html#Lopez-GarciaKLH16}, volume = 16, year = 2016 }