1411 search results - page 62 / 283 » A Value Analysis for C Programs |
139
click to vote
LCTRTS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Previously published methods for estimation of the worstcase execution time on contemporary processors with complex pipelines and multi-level memory hierarchies result in...
127
click to vote
CC
2007
Springer
15 years 10 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
148
click to vote
PADO
2001
Springer
15 years 8 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...
146
click to vote
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
173
click to vote
CPAIOR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...