A flexible approach to interprocedural data flow analysis and programs with recursive data structures (1982)

by N D Jones, S S Muchnick
Venue:In 9th ACM Symposium on Principles of Programming Languages