Manuel V. Hermenegildo Richard Warren Saumya K. Debray Global Flow Analysis as a Practical Compilation Tool. 349-366 1992 13 J. Log. Program. 4 db/journals/jlp/jlp13.html#HermenegildoWD92