Distinctness and Sharing Domains for Static Analysis of Java Programs

Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi. Distinctness and Sharing Domains for Static Analysis of Java Programs. In Jørgen Lindskov Knudsen, editor, ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings. Volume 2072 of Lecture Notes in Computer Science, pages 77-98, Springer, 2001. [doi]

Abstract

Abstract is missing.