Modelling a JVM for polymorphic bytecode
Giovanni Lagorio, DISI, University of Genova, Italy
|
 |
REFEREED
ARTICLE
PDF Version |
Abstract
In standard compilation of Java-like languages, the bytecode generated for a given
source depends on both the source itself and the compilation environment. This latter
dependency poses some unnecessary restrictions on which execution environments can
be used to run the code.
When using polymorphic bytecode, a binary depends only on its source and can be
dynamically adapted to run on diverse environments.
Dynamic linking is particularly suited to polymorphic bytecode, because it can be
adapted to an execution environment as late as possible, maximizing the
exibility of
the approach.
We analyze how polymorphic bytecode can be dynamically linked presenting a deterministic model of a Java Virtual Machine which interleaves loading and linking steps
with execution.
In our model, loading and execution phases are basically standard, whereas veri cation
handles also type constraints, which are part of polymorphic bytecode, and resolution
blends in veri cation.
Note: Due to the typographical sophistication of this article, no HTML version is available. Please use the PDF version.
About the authors
|
|
Giovanni Lagorio took a Ph.D. in Computer Science at the University of Genova in May 2004. His research interests are in the
area of programming languages; in particular, design and foundations of modular and object-oriented languages and systems. He
can be reached at lagorio@disi.unige.it.
See also http://www.disi.unige.it/person/LagorioG/.
|
Cite this article as follows:Giovanni Lagorio:"Modelling a JVM for polymorphic bytecode", in Journal of Object Technology, vol. 6, no. 5, Special Issue ECOOP 2007, pp. 71-100 http://www.jot.fm/issues/issue_2007_03/article2
|
