Computing Publications

Publications Home » A Fragment Calculus - towards a m...

A Fragment Calculus - towards a model of separate compilation, linking and binary compatibility,

Sophia Drossopoulou, Susan Eisenbach, David Wragg

Conference or Workshop Paper
Logic in Computer Science (LICS), Trento

We propose a calculus describing compilation and linking in terms of operations on fragments, i.e. compilation units, without reference to their specific contents. We believe this calculus faithfully reflects the situation within modern programming systems.

Binary compatibility in Java prescribes conditions under which modification of fragments does not necessitate re-compilation of importing fragments. We apply our calculus to formalize binary compatibility, and demonstrate that several interpretations of the language specification are possible, each with different ramifications. We choose a particular interpretation, justify our choice, formulate and prove properties important for language designers and code library developers.

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