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

by N Jones, A Mycroft
Venue:In POPL