Interprocedural Control Flow Analysis.

Flemming Nielson, Hanne Riis Nielson

Browse the full ESOP paper archive.