Export: Precise set sharing analysis for Java-style programs (and proofs)
Méndez Lojo, Mario and Hermenegildo, Manuel V. (2007). Precise set sharing analysis for Java-style programs (and proofs). Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.
Please select an output format: