%0 Conference Paper %1 conf/icfp/HornM07 %A Horn, David Van %A Mairson, Harry G. %B ICFP %D 2007 %E Hinze, Ralf %E Ramsey, Norman %I ACM %K dblp %P 85-96 %T Relating complexity and precision in control flow analysis. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2007.html#HornM07 %@ 978-1-59593-815-2

@inproceedings{conf/icfp/HornM07, added-at = {2023-03-21T00:00:00.000+0100}, author = {Horn, David Van and Mairson, Harry G.}, biburl = {https://www.bibsonomy.org/bibtex/2c77954f2e4f4bf16b5b0a9baeef1d704/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2007}, editor = {Hinze, Ralf and Ramsey, Norman}, ee = {https://doi.org/10.1145/1291220.1291166}, interhash = {b1724e9fee2212f2b1eb5b6f258617a1}, intrahash = {c77954f2e4f4bf16b5b0a9baeef1d704}, isbn = {978-1-59593-815-2}, keywords = {dblp}, pages = {85-96}, publisher = {ACM}, timestamp = {2024-04-09T17:30:49.000+0200}, title = {Relating complexity and precision in control flow analysis.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2007.html#HornM07}, year = 2007 }