%0 Conference Paper %1 conf/emsoft/RegehrRW03 %A Regehr, John %A Reid, Alastair %A Webb, Kirk %B EMSOFT %D 2003 %E Alur, Rajeev %E Lee, Insup %I Springer %K dblp %P 306-322 %T Eliminating Stack Overflow by Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2003.html#RegehrRW03 %V 2855 %@ 3-540-20223-4

@inproceedings{conf/emsoft/RegehrRW03, added-at = {2020-10-06T00:00:00.000+0200}, author = {Regehr, John and Reid, Alastair and Webb, Kirk}, biburl = {https://www.bibsonomy.org/bibtex/2fec47fd65ae8dea60d0566cff8eb53d3/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2003}, editor = {Alur, Rajeev and Lee, Insup}, ee = {https://doi.org/10.1007/978-3-540-45212-6_20}, interhash = {efe2221892a0a8c3fbaebdd9daf4d4f8}, intrahash = {fec47fd65ae8dea60d0566cff8eb53d3}, isbn = {3-540-20223-4}, keywords = {dblp}, pages = {306-322}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:08:08.000+0200}, title = {Eliminating Stack Overflow by Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2003.html#RegehrRW03}, volume = 2855, year = 2003 }