Improving Type Error Diagnostics For Generic Java

Date: 2010 - 03 - 11

Time: 11:45

Room: BBL 023.

Speaker: 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.

-- JurriaanHage - 04 Mar 2010