| Michael Burke. An interval-based approach to interprocedural analysis. ACM Transactions on Programming Languages and Systems, 12(3):341--395, July 1990. |
.... that are easy to analyze, then merge the analyses of these structures to arrive at a solution to the data flow problem [RP86] Algorithm F Flow is basically the CAST version of the simplest elimination algorithm, Allen Cocke interval analysis [AC77] it is also very similar to the algorithm in [Bur90] Although elimination algorithms are generally considered more efficient than iterative algorithms, they are also harder to understand and implement [BR90] This is due to the analysis required to reveal the structure in the flow graph, as well as the bookkeeping required to manipulate the flow ....
Michael Burke. An interval-based approach to interprocedural analysis. ACM Transactions on Programming Languages and Systems, 12(3):341--395, July 1990.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC