Data flow analysis of applicative programs using minimal function graphs (1986)

by N Jones, A Mycroft
Venue:In Proc. 13th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages