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 VitekNortheastern University
esop-2015-papers16:30 - 17:00
Wilmer RicciottiUniversity of Toulouse
esop-2015-papers17:00 - 17:30
Pedro VasconcelosLIACC, Universidade do Porto, Porto, Portugal, Steffen JostLMU, Munich, Germany, Mario FloridoFCUP, Universidade do Porto, Portugal, Kevin HammondUniversity of St Andrews, St Andrews, UK
esop-2015-papers17:30 - 18:00
Eric Seidel, Niki VazouUC San Diego, Ranjit JhalaUniversity of California, San Diego