Home
Schedule
Abstract Template
Masters Attendance
Improving Type Error Diagnostics For Generic Java

Stc
Date: 2010 - 03 - 11

Time: 11:45

Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php][023]].

----+++++ Speaker: [[http://www.cs.uu.nl/staff/jur.html][Jurriaan Hage]], joint work with Nabil el Boustani.

----+++++ Title: Improving Type Error Diagnostics For Generic Java

----+++++ Abstract

I shall combine two presentations about improving type error messages for Generic Java (presented at
PEPM' 09 and PEPM '10 respectively). In the talk I shall first discuss some of the problems we have observed
when using the major Java compilers javac and the Eclipse Java Compiler. Then we consider how the
Java type checking process can be modified to give more explanations about what is wrong when a type
error is encountered. The second part of the talk will deal with heuristics that allow the compiler
to suggest to the programmer how his program may be modified so that the type error is resolved.
All of this work has been implemented into the JastAdd Extensible Java Compiler.

-- Main.JurriaanHage - 04 Mar 2010