Corrigendum: A New, Simpler Linear-Time Dominators Algorithm
Jeffery R. Westbrook, Haim Kaplan, Anne Rogers, Adam L. Buchsbaum
págs. 383-387
págs. 388-425
A Practical and Fast Iterative Algorithm for ø-Function Computation Using DJ Graphs
U. Ramakrishna, Dibyendu Das
págs. 426-440
Christian Queinnec, Luc Moreau
págs. 441-476
CCured: Type-Safe Retrofitting of Legacy Software
George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer
págs. 477-526
Efficient and Effective Array Bound Checking
Thi Viet Nga Nguyen, François Irigoin
págs. 527-570
págs. 571-582
© 2001-2024 Fundación Dialnet · Todos los derechos reservados