A Type System for Object Initialization in the Java Bytecode Language

Stephen N. Freund, John C. Mitchell. A Type System for Object Initialization in the Java Bytecode Language. In OOPSLA. pages 310-327, 1998. [doi]

Abstract

Abstract is missing.