Enforcing resource bounds via static verification of dynamic checks (2005)

by Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C Necula
Venue:In Proceedings of the 14th European Symposium on Programming (ESOP 2005), volume 3444 of Lecture Notes in Computer Science