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]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