| AHA: Amortized Heap Space Usage Analysis – Project Paper – (2009) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract: This paper introduces AHA, an NWO-funded2 344K Euro project involving research into an amortized analysis of heap-space usage by functional and imperative programs. Amortized analysis is a promising technique that can improve on simply summing worst case bounds. The project seeks to combine this technique with type theory in order to obtain non-linear bounds on heap-space usage for functional languages and to adapt the results for the lazy functional case and for imperative languages. 1.1 | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||