Compositional certified resource bounds. Carbonneaux, Q., Hoffmann 0002, J., & Shao, Z. In Proceedings of Programming Language Design and Implementation (PLDI), pages 467-478, 2015. ![Compositional certified resource bounds [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp1762378,
title = {Compositional certified resource bounds},
author = {Quentin Carbonneaux and Jan Hoffmann 0002 and Zhong Shao},
author_short = {Carbonneaux, Q. and Hoffmann 0002, J. and Shao, Z.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2015},
key = {dblp1762378},
id = {dblp1762378},
biburl = {http://www.dblp.org/rec/bibtex/conf/pldi/Carbonneaux0S15},
url = {http://doi.acm.org/10.1145/2737924.2737955},
conference = {PLDI},
pages = {467-478},
text = {PLDI 2015:467-478},
booktitle = {Proceedings of Programming Language Design and Implementation (PLDI)}
}
Downloads: 0
{"_id":"XnRKTQdqYzk7NJa5J","bibbaseid":"carbonneaux-hoffmann0002-shao-compositionalcertifiedresourcebounds-2015","downloads":0,"creationDate":"2015-10-22T20:42:30.135Z","title":"Compositional certified resource bounds","author_short":["Carbonneaux, Q.","Hoffmann 0002, J.","Shao, Z."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/pldi/Carbonneaux0S15","bibdata":{"title":"Compositional certified resource bounds","author":["Quentin Carbonneaux","Jan Hoffmann 0002","Zhong Shao"],"author_short":["Carbonneaux, Q.","Hoffmann 0002, J.","Shao, Z."],"bibtype":"inproceedings","type":"inproceedings","year":"2015","key":"dblp1762378","id":"dblp1762378","biburl":"http://www.dblp.org/rec/bibtex/conf/pldi/Carbonneaux0S15","url":"http://doi.acm.org/10.1145/2737924.2737955","conference":"PLDI","pages":"467-478","text":"PLDI 2015:467-478","booktitle":"Proceedings of Programming Language Design and Implementation (PLDI)","bibtex":"@inproceedings{ dblp1762378,\n title = {Compositional certified resource bounds},\n author = {Quentin Carbonneaux and Jan Hoffmann 0002 and Zhong Shao},\n author_short = {Carbonneaux, Q. and Hoffmann 0002, J. and Shao, Z.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2015},\n key = {dblp1762378},\n id = {dblp1762378},\n biburl = {http://www.dblp.org/rec/bibtex/conf/pldi/Carbonneaux0S15},\n url = {http://doi.acm.org/10.1145/2737924.2737955},\n conference = {PLDI},\n pages = {467-478},\n text = {PLDI 2015:467-478},\n booktitle = {Proceedings of Programming Language Design and Implementation (PLDI)}\n}","bibbaseid":"carbonneaux-hoffmann0002-shao-compositionalcertifiedresourcebounds-2015","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2737924.2737955"},"downloads":0},"search_terms":["compositional","certified","resource","bounds","carbonneaux","hoffmann 0002","shao"],"keywords":[],"authorIDs":[],"dataSources":["dgsWgq5ecW7QzBcyB"]}