Making the java memory model safe
Andreas Lochbihler
Divergence analysis
Diogo Sampaio, Rafael Martins de Souza, Sylvain Collange, Fernando Magno Quintão
Reachability analysis of program variables
Đurica Nikolić, Fausto Spoto
© 2001-2025 Fundación Dialnet · Todos los derechos reservados
Coordinado por:
