Francesco Logozzo. Separate Compositional Analysis of Class-Based Object-Oriented Languages. In Charles Rattray, Savi Maharaj, Carron Shankland, editors, Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings. Volume 3116 of Lecture Notes in Computer Science, pages 334-348, Springer, 2004. [doi]
Abstract is missing.