%0 Conference Paper %1 conf/esop/ChanderEILN05 %A Chander, Ajay %A Espinosa, David %A Islam, Nayeem %A Lee, Peter %A Necula, George C. %B ESOP %D 2005 %E Sagiv, Shmuel %I Springer %K dblp %P 311-325 %T Enforcing Resource Bounds via Static Verification of Dynamic Checks. %U http://dblp.uni-trier.de/db/conf/esop/esop2005.html#ChanderEILN05 %V 3444 %@ 3-540-25435-8

@inproceedings{conf/esop/ChanderEILN05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Chander, Ajay and Espinosa, David and Islam, Nayeem and Lee, Peter and Necula, George C.}, biburl = {https://www.bibsonomy.org/bibtex/2f8bf5280ab805bf9bb431d1be4d90e42/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2005}, editor = {Sagiv, Shmuel}, ee = {https://doi.org/10.1007/978-3-540-31987-0_22}, interhash = {91be76732410bbf441f6075d13d60ce7}, intrahash = {f8bf5280ab805bf9bb431d1be4d90e42}, isbn = {3-540-25435-8}, keywords = {dblp}, pages = {311-325}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T15:02:13.000+0200}, title = {Enforcing Resource Bounds via Static Verification of Dynamic Checks.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2005.html#ChanderEILN05}, volume = 3444, year = 2005 }