3 search results - page 1 / 1 » Inferring Method Effect Summaries for Nested Heap Regions |
KBSE
2009
IEEE
13 years 11 months ago
2009
IEEE
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
CC
2007
Springer
13 years 10 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
DBKDA
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—XML indexing and search has become an important topic, and twig joins are key building blocks in XML search systems. This paper describes a novel approach using a nested...