7 search results - page 1 / 2 » pado 2001 |
98
Voted
PADO
2001
Springer
15 years 5 months ago
2001
Springer
118
Voted
PADO
2001
Springer
15 years 5 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
112
Voted
PADO
2001
Springer
15 years 5 months ago
2001
Springer
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...
106
Voted
PADO
2001
Springer
15 years 5 months ago
2001
Springer
Tag elimination is a program transformation for removing unnecessary tagging and untagging operations from automatically generated programs. Tag elimination was recently proposed a...
118
Voted
PADO
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a high-level approach to array bound check optimization that is neither hampered by recursive functions, nor disabled by the presence of partially redundant ch...