![](/img/cover-not-exists.png)
Enforcing resource bounds via static verification of dynamic checks
Chander, Ajay, Espinosa, David, Islam, Nayeem, Lee, Peter, Necula, George C.Volume:
29
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/1275497.1275503
Date:
August, 2007
File:
PDF, 415 KB
english, 2007