Sharir and Pnueli's TWO APPROACHES TO INTERPROCEDURAL DATA FLOW ANALYSIS

This paper is really hard to come by and all scans are either incomplete or include the empty backpages. Here's a cleaned up version: Download