Jingling Xue, Phung Hua Nguyen. Completeness Analysis for Incomplete Object-Oriented Programs. In Rastislav BodÃk, editor, Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Volume 3443 of Lecture Notes in Computer Science, pages 271-286, Springer, 2005. [doi]
Abstract is missing.