%0 Conference Paper %1 conf/popl/NielsonN97 %A Nielson, Hanne Riis %A Nielson, Flemming %B POPL %D 1997 %E Lee, Peter %E Henglein, Fritz %E Jones, Neil D. %I ACM Press %K dblp %P 332-345 %T Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. %U http://dblp.uni-trier.de/db/conf/popl/popl97.html#NielsonN97 %@ 0-89791-853-3

@inproceedings{conf/popl/NielsonN97, added-at = {2018-11-06T00:00:00.000+0100}, author = {Nielson, Hanne Riis and Nielson, Flemming}, biburl = {https://www.bibsonomy.org/bibtex/2bd4b1995ffdfd6dae2a6cd4623072583/dblp}, booktitle = {POPL}, crossref = {conf/popl/1997}, editor = {Lee, Peter and Henglein, Fritz and Jones, Neil D.}, ee = {https://doi.org/10.1145/263699.263745}, interhash = {4c12709a5031c10c219bf041d9685195}, intrahash = {bd4b1995ffdfd6dae2a6cd4623072583}, isbn = {0-89791-853-3}, keywords = {dblp}, pages = {332-345}, publisher = {ACM Press}, timestamp = {2018-11-07T15:44:12.000+0100}, title = {Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl97.html#NielsonN97}, year = 1997 }