1552 search results - page 1 / 311 » On the Complexity of Constant Propagation |
ESOP
2001
Springer
13 years 10 months ago
2001
Springer
Constant propagation (CP) is one of the most widely used optimizations in practice (cf. [9]). Intuitively, it addresses the problem of statically detecting whether an expression al...
ESOP
2008
Springer
13 years 7 months ago
2008
Springer
We present a polynomial-time algorithm which at the extra cost of a factor O(k) (k the number of variables) generalizes inter-procedural copy constant propagation. Our algorithm in...
PLDI
1995
ACM
13 years 9 months ago
1995
ACM
We present a flow-sensitive interprocedural constant propagation algorithm, which sttpports recursion while only performing one flow-sensitive analysis of each procedure. We prese...
TRIER
2002
13 years 5 months ago
2002
Constant propagation aims at identifying expressions that always yield a unique constant value at run-time. It is well-known that constant propagation is undecidable for programs w...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
This paper proposes some simple propagation rules which give rise to new binary constant-weight codes.