Control-flow analysis of function calls and returns by abstract interpretation.

Jan Midtgaard, Thomas P. Jensen

Browse the full ICFP paper archive.