%0 Conference Paper %1 conf/popl/Blanchet98 %A Blanchet, Bruno %B POPL %D 1998 %E MacQueen, David B. %E Cardelli, Luca %I ACM %K dblp %P 25-37 %T Escape Analysis: Correctness Proof, Implementation and Experimental Results. %U http://dblp.uni-trier.de/db/conf/popl/popl98.html#Blanchet98 %@ 0-89791-979-3

@inproceedings{conf/popl/Blanchet98, added-at = {2018-11-06T00:00:00.000+0100}, author = {Blanchet, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/2815a5c1a666138b66584eed8bbefda39/dblp}, booktitle = {POPL}, crossref = {conf/popl/1998}, editor = {MacQueen, David B. and Cardelli, Luca}, ee = {https://doi.org/10.1145/268946.268949}, interhash = {395b06ddd42fd66ba609b6b22f94577b}, intrahash = {815a5c1a666138b66584eed8bbefda39}, isbn = {0-89791-979-3}, keywords = {dblp}, pages = {25-37}, publisher = {ACM}, timestamp = {2018-11-07T15:44:22.000+0100}, title = {Escape Analysis: Correctness Proof, Implementation and Experimental Results.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl98.html#Blanchet98}, year = 1998 }