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

Sophia Drossopoulou, Susan Eisenbach, David Wragg. A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility. In LICS. pages 147-156, 1999. [doi]

Abstract

Abstract is missing.