Browsing Computer Science by Author "Thiessen, Rei"
Now showing items 1-1 of 1
-
Efficient Pointer Analysis of Java in Logic
Thiessen, Rei (University of Waterloo, 2017-05-16)Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability ...