3 search results - page 1 / 1 » Type-Based Amortised Heap-Space Analysis |
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...
CSL
2009
Springer
14 years 1 days ago
2009
Springer
ESOP
2009
Springer
14 years 8 days 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...