Data Flow Analysis of Applicative Programs Using Minimal Function Graphs.

Neil D. Jones, Alan Mycroft

Browse the full POPL paper archive.