Formally Optimal Boxing. Henglein, F. & Jørgensen, J. In Boehm, H., Lang, B., & Yellin, D. M., editors, POPL, pages 213-226, 1994. ACM Press.
Formally Optimal Boxing. [link]Link  Formally Optimal Boxing. [link]Paper  bibtex   
@inproceedings{conf/popl/HengleinJ94,
  added-at = {2018-11-06T00:00:00.000+0100},
  author = {Henglein, Fritz and Jørgensen, Jesper},
  biburl = {https://www.bibsonomy.org/bibtex/21a1bb06568ecffdf810535ec9b158402/dblp},
  booktitle = {POPL},
  crossref = {conf/popl/1994},
  editor = {Boehm, Hans-Juergen and Lang, Bernard and Yellin, Daniel M.},
  ee = {https://doi.org/10.1145/174675.177874},
  interhash = {557af1859ce3d620e809f48fea45db5c},
  intrahash = {1a1bb06568ecffdf810535ec9b158402},
  isbn = {0-89791-636-0},
  keywords = {dblp},
  pages = {213-226},
  publisher = {ACM Press},
  timestamp = {2018-11-07T15:44:14.000+0100},
  title = {Formally Optimal Boxing.},
  url = {http://dblp.uni-trier.de/db/conf/popl/popl94.html#HengleinJ94},
  year = 1994
}

Downloads: 0