págs. 3-35
págs. 37-71
págs. 73-123
A new foundation for control dependence and slicing for modern program structures
Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, Jhon Hatcliff, Matthew B. Dwyer
págs. 125-167
Enforcing resource bounds via static verification of dynamic checks
Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
págs. 168-186
págs. 187-213
© 2001-2024 Fundación Dialnet · Todos los derechos reservados