Checking type safety of foreign function calls
Michael Furr, Jeffrey S. Foster
63 págs.
Relations as an abstraction for BDD-based program analysis
Ondrej Lhoták, Laurie Hendren
Types for atomicity: Static checking and inference for Java
Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer
52 págs.
Java bytecode verification via static single assignment form
Andreas Gal, Christian W. Probst, Michael Franz
21 págs.
Remote specialization for efficient embedded operating systems
Sapan Bhatia, Charles Consel, Calton Pu
32 págs.
Register allocation for software pipelined multidimensional loops
Hongbo Rong, Alban Douillet, Guang R. Gao
68 págs.
Local reasoning about a copying garbage collector
Noah Torp-Smith, Lars Birkedal, John C. Reynolds
58 págs.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: