AHA: Amortized Heap Space Usage Analysis – Project Paper – (2009)
Marko Van Eekelen, Olha Shkaravska, Ron Van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers
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...
Type Checking and Weak Type Inference for Polynomial Size Analysis of First-Order Functions (2008)
Olha Shkaravska, Ron Van Kesteren, Marko Van Eekelen
Abstract. We present a size-aware type system for first-order shapely functions. Here, a function is called shapely when the size of the result is determined exactly by a polynomial in the sizes of...
AHA: Amortized Heap Space Usage Analysis – Project Paper – (2008)
Marko Van Eekelen, Olha Shkaravska, Ron Van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers
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...
Eekelen. Polynomial size analysis of first-order functions (2007)
Olha Shkaravska, Ron Van Kesteren, Marko Van Eekelen
Abstract. We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by a...