Sharir and Pnueli's TWO APPROACHES TO INTERPROCEDURAL DATA FLOW ANALYSIS
Posted on Fri 18 August 2017 in tech
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