1411 search results - page 83 / 283 » A Value Analysis for C Programs |
102
Voted
ICAPR
2005
Springer
15 years 9 months ago
2005
Springer
A non-dominated sorting genetic algorithm is used to evolve models of learning from different theories for multiple tasks. Correlation analysis is performed to identify parameters...
143
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
116
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
se a new abstraction for pointer analysis that represents reads and writes to memory instead of traditional points-to relations. Compared to points-to graphs, our Assign-Fetch Gra...
105
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
121
click to vote
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, cal...