Computing Publications

Publications Home » Flexible, source level, dynamic l...

Flexible, source level, dynamic linking and re-linking

Sophia Drossopoulou, Susan Eisenbach

Conference or Workshop Paper
Formal techniques for Java-like languages, 2003

We give a formal semantics for dynamic linking and re-linking of code. The semantics is at source language level, and allows linking at a finer grain than current Java or C# implementations: Besides supporting the loading and verification of classes interleaved with program execution, it also allows type-safe removal and replacement of classes, fields and methods. Such extended features support unanticipated software evolution.

Flexible Mod

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