158
click to vote
CC
15 years 10 months ago
2004 Springer 
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
151
click to vote
CC
15 years 10 months ago
2004 Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
151
click to vote
CC
15 years 10 months ago
2004 Springer
Abstract. Partial redundancy elimination (PRE) is a program transformation that identifies and eliminates expressions that are redundant on at least one (but not necessarily all) ...
151
click to vote
CC
15 years 8 months ago
2004 Springer 
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
142
click to vote
CC
15 years 10 months ago
2004 Springer 
We present an algorithm for counting the number of integer solutions to selected free variables of a Presburger formula. We represent the Presburger formula as a deterministic fin...
|
System Software