Automatic Certification of Heap Consumption. Beringer, L., Hofmann 0001, M., Momigliano, A., & Shkaravska, O. In Proceedings of Logic Programming and Automated Reasoning (LPAR), pages 347-362, 2004. Paper bibtex @inproceedings{ dblp4125727,
title = {Automatic Certification of Heap Consumption},
author = {Lennart Beringer and Martin Hofmann 0001 and Alberto Momigliano and Olha Shkaravska},
author_short = {Beringer, L. and Hofmann 0001, M. and Momigliano, A. and Shkaravska, O.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2004},
key = {dblp4125727},
id = {dblp4125727},
biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04},
url = {http://dx.doi.org/10.1007/978-3-540-32275-7_23},
conference = {LPAR},
pages = {347-362},
text = {LPAR 2004:347-362},
booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f22"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Beringer, L.","Hofmann 0001, M.","Momigliano, A.","Shkaravska, O."],"bibbaseid":"beringer-hofmann0001-momigliano-shkaravska-automaticcertificationofheapconsumption-2004","bibdata":{"title":"Automatic Certification of Heap Consumption","author":["Lennart Beringer","Martin Hofmann 0001","Alberto Momigliano","Olha Shkaravska"],"author_short":["Beringer, L.","Hofmann 0001, M.","Momigliano, A.","Shkaravska, O."],"bibtype":"inproceedings","type":"inproceedings","year":"2004","key":"dblp4125727","id":"dblp4125727","biburl":"http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04","url":"http://dx.doi.org/10.1007/978-3-540-32275-7_23","conference":"LPAR","pages":"347-362","text":"LPAR 2004:347-362","booktitle":"Proceedings of Logic Programming and Automated Reasoning (LPAR)","bibtex":"@inproceedings{ dblp4125727,\n title = {Automatic Certification of Heap Consumption},\n author = {Lennart Beringer and Martin Hofmann 0001 and Alberto Momigliano and Olha Shkaravska},\n author_short = {Beringer, L. and Hofmann 0001, M. and Momigliano, A. and Shkaravska, O.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp4125727},\n id = {dblp4125727},\n biburl = {http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04},\n url = {http://dx.doi.org/10.1007/978-3-540-32275-7_23},\n conference = {LPAR},\n pages = {347-362},\n text = {LPAR 2004:347-362},\n booktitle = {Proceedings of Logic Programming and Automated Reasoning (LPAR)}\n}","bibbaseid":"beringer-hofmann0001-momigliano-shkaravska-automaticcertificationofheapconsumption-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-32275-7_23"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/lpar/BeringerHMS04","downloads":0,"keywords":[],"search_terms":["automatic","certification","heap","consumption","beringer","hofmann 0001","momigliano","shkaravska"],"title":"Automatic Certification of Heap Consumption","year":2004,"dataSources":["QNv2BLhBYbXM3JXMe"]}