Binding-time analysis and the taming of C pointers (1993)

by L O Andersen
Venue:In Part. Eval. and Semantics-Based Prog. Manip