277 search results - page 1 / 56 » Precise reasoning for programs using containers |
POPL
2011
ACM
12 years 7 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
A memory leak in a Java program occurs when object references that are no longer needed are unnecessarily maintained. Such leaks are difficult to understand because static analyse...
ESOP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
POPL
2008
ACM
14 years 4 months ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...