Two Approaches to Interprocedural Data Flow Analysis - Micha Sharir - Häftad | Bokus