Browsing Computer Science by Subject "IFDS"
Now showing items 1-2 of 2
-
A Concurrent IFDS Dataflow Analysis Algorithm Using Actors
(University of Waterloo, 2010-06-28)There has recently been a resurgence in interest in techniques for effective programming of multi-core computers. Most programmers find general-purpose concurrent programming to be extremely difficult. This difficulty ... -
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 ...