PEPM 2015
Tue 13 - Wed 14 January 2015 Mumbai, India
Wed 14 Jan 2015 15:00 - 15:30 at AG80 - Analysis Chair(s): Kenichi Asai

Wed 14 Jan

Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

14:00 - 15:30
AnalysisPEPM 2015 at AG80
Chair(s): Kenichi Asai Ochanomizu University
14:00
30m
Talk
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics
PEPM 2015
Ruud Koot Utrecht University, Jurriaan Hage Utrecht University
14:30
30m
Talk
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages
PEPM 2015
Hidde Verstoep Utrecht University, Jurriaan Hage Utrecht University
15:00
30m
Talk
Germán Puebla Memorial
PEPM 2015
Konstantinos (Kostis) Sagonas Uppsala University / NTUA, John P. Gallagher Roskilde University, Roberto Giacobazzi University of Verona, Italy, Abu Naser Masud Malardalen University