%0 Journal Article %1 journals/toplas/ChanderEILN07 %A Chander, Ajay %A Espinosa, David %A Islam, Nayeem %A Lee, Peter %A Necula, George C. %D 2007 %J ACM Trans. Program. Lang. Syst. %K dblp %N 5 %P 28 %T Enforcing resource bounds via static verification of dynamic checks. %U http://dblp.uni-trier.de/db/journals/toplas/toplas29.html#ChanderEILN07 %V 29

@article{journals/toplas/ChanderEILN07, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chander, Ajay and Espinosa, David and Islam, Nayeem and Lee, Peter and Necula, George C.}, biburl = {https://www.bibsonomy.org/bibtex/2cd279391e73b4e687340a4fbef60b3ca/dblp}, ee = {https://doi.org/10.1145/1275497.1275503}, interhash = {45822d407d77a8907a3afc834d1ce1a4}, intrahash = {cd279391e73b4e687340a4fbef60b3ca}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {dblp}, number = 5, pages = 28, timestamp = {2018-11-07T12:36:23.000+0100}, title = {Enforcing resource bounds via static verification of dynamic checks.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas29.html#ChanderEILN07}, volume = 29, year = 2007 }