View in EDS

Type Elaboration and Subtype Completion for Java

Saved in:
Bibliographic Details
Title: Type Elaboration and Subtype Completion for Java
Authors: Todd B. Knoblock, Jakob Rehof
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://ls14-www.cs.uni-dortmund.de/ls14Medien/Dokumente/Pubs/TypeElaboration.pdf.
Collection: CiteSeerX
Subject Terms: F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Type Structure General Terms, Languages, Theory Additional Key Words and Phrases, java compiler, lattice completion, object-oriented type systems, type-directed compilation
Description: 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.
Document Type: text
File Description: application/pdf
Language: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7078
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.7078
http://ls14-www.cs.uni-dortmund.de/ls14Medien/Dokumente/Pubs/TypeElaboration.pdf
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number: edsbas.47B9C975
Database: BASE
Description
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.