October 2004
Intermediate to advanced
608 pages
17h 1m
English
In this section we discuss three possible research directions. First, how can we design combinations of ILP-based analyses? This would, for instance, allow us to combine the phases of a compiler, thereby solving the phase-ordering problem. Second, how can we prove the correctness of ILP-based analyses, including combinations of such analyses? Third, how can we prove equivalence results that clarify the relationships among ILP-based analysis, type-based analysis, and set-based analysis? This would be a step toward a unified framework and a better understanding of when each of the approaches is the best fit for a given problem.
Performing different ILP-based transformations sequentially on a source program ...
Read now
Unlock full access