article · 2008

Type Elaboration and Subtype Completion for Java Bytecode

Todd B. Knoblock, et al.

Cited by 0Abstract and details only

Abstract

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 technique for reconstructing strongly typed programs from incompletely typed bytecode by inferring types for local variables. There are situations where, technically, there are not enough types in the original type hierarchy to type a bytecode program. Subtype completion is a technique for adding necessary types to an arbitrary type hierarchy to make type elaboration possible for all verifiable Java bytecode. Type elaboration with subtype completion has been implemented as part of the Marmot Java compiler.

Cite this paper

APA 7

Todd B. Knoblock, E. A. (2008). Type Elaboration and Subtype Completion for Java Bytecode.

MLA 9

Todd B. Knoblock, et al. “Type Elaboration and Subtype Completion for Java Bytecode.” 2008.

Chicago

Todd B. Knoblock, et al. 2008. “Type Elaboration and Subtype Completion for Java Bytecode.”

Harvard

Todd B. Knoblock, E.A. (2008) ‘Type Elaboration and Subtype Completion for Java Bytecode’.

BibTeX

@article{toddbknoblock2008type,
  title = {{Type Elaboration and Subtype Completion for Java Bytecode}},
  author = {Todd B. Knoblock, et al.},
  year = {2008}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.