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]

Authors

Stephen N. Freund

This author has not been identified. Look up 'Stephen N. Freund' in Google

John C. Mitchell

This author has not been identified. Look up 'John C. Mitchell' in Google