A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility.

Sophia Drossopoulou, Susan Eisenbach, David Wragg

Browse the full LICS paper archive.