An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph

We present a new incremental algorithm for the problem of maintaining the dominator tree of a reducible flowgraph as the flowgraph undergoes changes such as the insertion and deletion of edges. Such an algorithm has applications in incremental dataflow analysis and incremental compilation.

• Type: Conference
• Year: 1994
• Where: POPL
• Authors: G. Ramalingam, Thomas W. Reps
• Keywords: Flowgraph Undergoes Changes, Incremental, Incremental Dataflow Analysis, POPL 1994, Programming Languages