Browsing Division of Interdisciplinary Research by Subject "Destructive Merge"
Now showing items 1-1 of 1
-
Comprehensive Path-sensitive Data-flow Analysis
(2010-08-25)Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. We initially perform data-flow ...