1411 search results - page 184 / 283 » A Value Analysis for C Programs |
128
click to vote
SIGSOFT
2006
ACM
16 years 5 months ago
2006
ACM
A method for extracting syntactic specifications from heapmanipulating code is described. The state of the heap is represented as an environment mapping each variable or field to ...
126
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
147
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
136
click to vote
SC
2004
ACM
15 years 10 months ago
2004
ACM
There exist many application classes for which the users have significant flexibility in the quality of output they desire. At the same time, there are other constraints, such a...
169
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Nadir point plays an important role in multi-objective optimization because of its importance in estimating the range of objective values corresponding to desired Pareto-optimal s...