Browsing Mathematics (Faculty of) by Subject "IDE"
Now showing items 1-1 of 1
-
Data Flow Analysis in the Presence of Correlated Calls
(University of Waterloo, 2014-08-19)This thesis presents a technique to improve the precision of data-flow analyses on object-oriented programs in the presence of correlated calls. We say that two method calls are correlated if they are polymorphic (have ...