La Prossima Vita at TOPLAS
Kathryn Mckinley, Keshav Pingali
pág. 20
Typing Linear Constraints
S. Ruggieri, Fred Mesnard
pág. 21
Semantics of Fractional Permissions with Nesting
John Tang Boyland
pág. 22
WYSINWYX: what you see is not what you execute
Gobul Balakrishnan, Thomas Reps
pág. 23
Finite Differencing of Logical Formulas for Static Analysis
Thomas Reps, Mooly Sagiv, Alexey Loginov
pág. 24
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: