Two Approaches to Interprocedural Data Flow Analysis - Micha Sharir - Inbunden | Bokus