37 search results - page 3 / 8 » Worst-Case Analysis of Heap Allocations |
ESOP
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
FM
2009
Springer
14 years 10 days ago
2009
Springer
Shared and mutable data-structures pose major problems in static analysis and most analyzers are unable to keep track of the values of numeric variables stored in the heap. In this...
CC
2007
Springer
13 years 12 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
FATES
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Object models capture key properties of object-oriented architectures, and they can highlight relationships between types, occurrences of sharing, and object encapsulatio...
POPL
2007
ACM
14 years 6 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...