3 search results - page 1 / 1 » Type-Based Amortised Heap-Space Analysis |
ESOP
2006
Springer
13 years 8 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...
CSL
2009
Springer
13 years 11 months ago
2009
Springer
ESOP
2009
Springer
13 years 11 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...