%0 Conference Paper %1 conf/popl/HofmannJ03 %A 0001, Martin Hofmann %A Jost, Steffen %B POPL %D 2003 %E Aiken, Alex %E Morrisett, Greg %I ACM %K analysis functional heap resource usage %P 185-197 %T Static prediction of heap space usage for first-order functional programs. %U http://dblp.uni-trier.de/db/conf/popl/popl2003.html#HofmannJ03 %@ 1-58113-628-5

@inproceedings{conf/popl/HofmannJ03, added-at = {2014-09-11T12:07:53.000+0200}, author = {0001, Martin Hofmann and Jost, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/2ff76f92e6a7dbbcba930a4c487139339/fibso}, booktitle = {POPL}, crossref = {conf/popl/2003}, editor = {Aiken, Alex and Morrisett, Greg}, ee = {http://doi.acm.org/10.1145/640128.604148}, interhash = {9a531a77502e01278d0d3b70219dade4}, intrahash = {ff76f92e6a7dbbcba930a4c487139339}, isbn = {1-58113-628-5}, keywords = {analysis functional heap resource usage}, note = {ACM SIGPLAN Notices 38(1), January 2003}, pages = {185-197}, publisher = {ACM}, timestamp = {2014-09-11T12:07:53.000+0200}, title = {Static prediction of heap space usage for first-order functional programs.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2003.html#HofmannJ03}, year = 2003 }