%0 Journal Article %1 journals/tecs/RegehrRW05 %A Regehr, John %A Reid, Alastair %A Webb, Kirk %D 2005 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 4 %P 751-778 %T Eliminating stack overflow by abstract interpretation. %U http://dblp.uni-trier.de/db/journals/tecs/tecs4.html#RegehrRW05 %V 4

@article{journals/tecs/RegehrRW05, added-at = {2020-10-06T00:00:00.000+0200}, author = {Regehr, John and Reid, Alastair and Webb, Kirk}, biburl = {https://www.bibsonomy.org/bibtex/2237a628d65e8b2f2b66ddb535cd8edd9/dblp}, ee = {https://doi.org/10.1145/1113830.1113833}, interhash = {5bab5cd4d7a1a3ca75df890b9d1b3c03}, intrahash = {237a628d65e8b2f2b66ddb535cd8edd9}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, number = 4, pages = {751-778}, timestamp = {2020-10-07T11:36:29.000+0200}, title = {Eliminating stack overflow by abstract interpretation.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs4.html#RegehrRW05}, volume = 4, year = 2005 }