Sophia Drossopoulou, Susan Eisenbach, David Wragg
A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility
LICS, 1999.
@inproceedings{LICS-1999-DrossopoulouEW, author = "Sophia Drossopoulou and Susan Eisenbach and David Wragg", booktitle = "{Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1999.782606", isbn = "0-7695-0158-3", pages = "147--156", publisher = "{IEEE Computer Society}", title = "{A Fragment Calculus — Towards a Model of Separate Compilation, Linking and Binary Compatibility}", year = 1999, }