A calculus for link-time compilation (2000)

by E Machkasova, F A Turbak
Venue:In Europ. Symp. on Progr., vol. 1782 of LNCS