The type system for object initializatiion in the Jave bytecode language

Stephen N. Freund, John C. Mitchell. The type system for object initializatiion in the Jave bytecode language. ACM Transactions on Programming Languages and Systems, 21(6):1196-1250, 1999. [doi]

Abstract

Abstract is missing.