Interprocedural data flow analysis in the presence of pointers, procedure variables and label variables (1980)

by W E WEIHL
Venue:In Conference Record of the Seventh Annual ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages. Las Vegas