Distinctness and Sharing Domains for Static Analysis of Java Programs.

Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi

Browse the full ECOOP paper archive.