1760 search results - page 128 / 352 » Program Analysis Using Weighted Pushdown Systems |
125
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
Collection attributes, as defined by Boyland, can be used as a mechanism for concisely specifying cross-referencelike properties such as callee sets, subclass sets, and sets of v...
129
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
143
click to vote
FMOODS
2008
15 years 6 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
187
click to vote
PPDP
2010
Springer
15 years 3 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
136
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. To reason about programs, dynamic optimizers and analysis tools use sampling to collect a dynamic call graph (DCG). However, sampling has not achieved high accuracy with ...