Global flow analysis as a practical compilation tool (1992)

by Manuel V Hermenegildo, Richard Warren, Saumya K Debray
Venue:Journal of Logic Programming