A hybrid type system for lock-freedom of mobile processes
Naoki Kobayashi, Davide Sangiorgi
pág. 16
Execution suppression: an automated iterative technique for locating memory errors
Dennis Jaffrey, Vijay Nagarajan, Rajiv Gupta, Neelam Gupta
pág. 17
Verifying safety properties of concurrent heap-manipulating programs
Eran Yahav, Mooly Sagiv
pág. 18
A calculus for uniform feature composition
Sven Apel, Delesley Hutchins
pág. 19
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: