A Type System for Object Initialization in the Java Bytecode Language.

Stephen N. Freund, John C. Mitchell

Browse the full OOPSLA paper archive.