156 search results - page 13 / 32 » Automatic Inference of Class Invariants |
80
Voted
PLDI
2004
ACM
15 years 2 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
70
Voted
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—With the wide support for serialization in objectoriented programming languages, persistent objects have become common place. Retrieving previously “persisted” objec...
156
click to vote
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
Although the presence of a schema enables many optimizations for operations on XML documents, recent studies have shown that many XML documents in practice either do not refer to ...
84
Voted
COMPSAC
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
POPL
2010
ACM
15 years 6 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...