Type Elaboration and subtype completion for Hava bytecode

摘要

Java source code is strongly typed, but the translation from Java source to bytecode omits much of the type information originally contained within methods. Type elaboration is a tecnique for reconstructing strongly typed programs from incompletely typed bytecode by inferring types for local variables.