3671 search results - page 55 / 735 » On Garbage and Program Logic |
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
IWPC
2006
IEEE
15 years 5 months ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
CP
2005
Springer
15 years 5 months ago
2005
Springer
The eplex library of the ECLi PSe Constraint Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming t...