In computer science, in compilers, a dominator is an object which is always executed before another object, where the object is typically either a statement or a basic block. Conventionally, we say that an object dominates itself as well.
Note that an object may have many dominators. Sometimes more useful is the concept of an immediate dominator, which is the unique object that dominates an object, while not dominating any other dominator of the object. If we construct the tree where each object's parent is its immediate dominator, this is called the dominator tree.
This article is a stub. You can help Wikipedia by fixing it.
See also: Control flow graph