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. Electronic Notes in Theoretical Computer Science, 10:242-245, 1997. [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