ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Thu 16 Apr 2015 17:00 - 17:30 at Skeel - Session 9 Chair(s): Jan Vitek

This paper presents a novel type-and-effect analysis for predicting upper-bounds on memory allocation costs for co-recursive definitions in a simple lazily-evaluated functional language. We show the soundness of this system against an instrumented variant of Launchbury’s semantics for lazy evaluation which serves as a formal cost model. Our soundness proof requires an intermediate semantics employing indirections. Our proof of correspondence between these semantics that we provide is thus a crucial part of this work.

Thu 16 Apr

16:30 - 18:00: ESOP - Session 9 at Skeel
Chair(s): Jan Vitek
esop-2015-papers142919460000016:30 - 17:00
esop-2015-papers142919640000017:00 - 17:30
esop-2015-papers142919820000017:30 - 18:00