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
January, 2001
ISBN 3-540-42196-3
ISSN 0302-9743

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.

Compilation and Dynamic Linking
Java Semantics
Postscript of full publication (299 kilobytes)
(need help viewing Postscript files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.