1411 search results - page 98 / 283 » A Value Analysis for C Programs |
103
Voted
ASAP
1996
IEEE
15 years 8 months ago
1996
IEEE
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
148
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
This paper addresses the problem of how to apply pointer analysis to a wide variety of compiler applications. We are not presenting a new pointer analysis. Rather, we focus on put...
236
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
135
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Early evaluation allows to execute operations when enough information at the inputs has been received to determine the value at the outputs. Systems that can tolerate variable-lat...
150
click to vote
AGP
1993
IEEE
15 years 8 months ago
1993
IEEE
Abstract. This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored. Our...