Two Approaches to Interprocedural Data Flow Analysis

Micha Sharir , A Pnueli