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 Proceedings, 14th Annual IEEE Symposium on Logic in Computer Science, 2-5 July, 1999, Trento, Italy. pages 147-156, IEEE Computer Society, 1999. [doi]

Authors

Sophia Drossopoulou

This author has not been identified. Look up 'Sophia Drossopoulou' in Google

Susan Eisenbach

This author has not been identified. Look up 'Susan Eisenbach' in Google

David Wragg

This author has not been identified. Look up 'David Wragg' in Google