180
Voted
CC
15 years 9 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...
176
Voted
CC
15 years 11 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...
174
click to vote
CC
15 years 11 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...
171
click to vote
CC
15 years 11 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) ...
165
click to vote
CC
15 years 11 months ago
2004 Springer 
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
|
System Software