2. A Hierarchy of Constants
Constant propagation aims at detecting expressions in programs that always yield a unique constant value at run-time. Replacing constant expressions by their value is one of the most widely used optimizations in practice (cf. [2, 30, 56]). Unfortunately, the constant propagation problem is undecidable even if the interpretation of branches is completely ignored, like in the common model of non-deterministic flow graphs where every program path is considered executable.
KeywordsAssignment Statement Program Point Polynomial Time Reduction Polynomial Constant Linear Constant
Unable to display preview. Download preview PDF.