Computing Publications

Publications Home » An abstract model of Java dynamic...

An abstract model of Java dynamic linking and loading

Sophia Drossopoulou

Book Chapter
3rd International Workshop on Types in Compilation, TIC 2000
Types in Compilation: Revised Selected Papers
Volume 2071
p.53
January, 2001
Springer
ISBN 3-540-42196-3
ISSN 0302-9743
Abstract

We suggest a model for dynamic loading and linking as in Java. We distinguish five components in a Java implementation: evaluation, resolution, loading, verification, and preparation - with their associated checks. We demonstrate how these five together guarantee type soundness. We take an view, and base our model on a language nearer to Java source than to bytecode. We consider the following features of Java: classes, subclasses, fields and hiding, methods and inheritance, and interfaces.

Keywords
SLURP
Compilation and Dynamic Linking
Java Semantics
Postscript of full publication (299 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.