Type elaboration and subtype completion for Java 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 technique for reconstructing strongly typed programs from incompletely typed bytecode by inferring types for local variab...

Full description

Saved in:
Bibliographic Details
Published in:ACM transactions on programming languages and systems 2001-03, Vol.23 (2), p.243-272
Main Authors: Knoblock, Todd B, Rehof, Jakob
Format: Article
Language:English
Subjects:
Analysis
Compilers
Compiling (Electronic computers)
Coroutines
Java (Computer program language)
Programming languages
Software
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0164-0925
1558-4593
DOI:10.1145/383043.383045