12.3. Open Problems
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.
12.3.1. Combination
Performing different ILP-based transformations sequentially on a source program ...
Get Multiprocessor Systems-on-Chips now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
