Links und Funktionen

Sie sind hier: Startseite / Lehre / WS 2011/12 / Oberseminar / Steffen Jost, Amortized Analysis and Lazy Evaluation


Steffen Jost, Amortized Analysis and Lazy Evaluation

TCS Oberseminar, 13.01.2012 14:15 Uhr
Wann 14:15 15:15 13.01.2012
von bis
Wo L109
Termin übernehmen vCal

Steffen Jost
Amortized Analysis & Lazy Evaluation

We will discuss the development process of extending the type-based amortised analysis technique to automatically infer heap-space bounds for a lazily evaluated first-order functional language. Of course, the analysis has to deal with streams whose processing consumes fresh memory at each step and streams who simply evaluate to cyclic data, whose processing thus does not requiring any additional memory.
At the first glance a solution semeed to be relatively straightforward, but as we will see, our first naive approach had many pitfalls. In the end a mixture of our reference-based potential and the classic memory-based potential as used by Tarjan saves the day.


abgelegt unter: