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