Improving Type Error Diagnostics For Generic Java
Date: 2010 - 03 - 11
Room: BBL 023
Speaker: Jurriaan Hage, joint work with Nabil el Boustani.
Title: Improving Type Error Diagnostics For Generic Java
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.
- 04 Mar 2010