Path-Sensitive Value-Flow Optimizations.PhD thesis, University of Pittsburgh, in preparation. [6] Rastislav Bodik and Sadun Anik. Path-sensitive value-flowanalysis (1998)

by Rastislav Bodik
Venue:In Conference Record of the 25th ACM SIGPLANSIGACT Symposium on Principles of Programming Lan-guages