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

Cached

Download Links

by Ajay Chander , David Espinosa , Nayeem Islam , Peter Lee , George C. Necula
Venue:In European Symp. on Programming
Citations:23 - 2 self