A fragment calculus — towards a model of separate compilation, linking and binary compatibility (1999)

by S Drossopoulou, S Eisenbach, D Wragg
Venue:In Logic in Computer Science