Binding-Time Analysis and the Taming of C Pointers.

Lars Ole Andersen Binding-Time Analysis and the Taming of C Pointers. 47-58 1993 PEPM db/conf/pepm/pepm93.html#Andersen93