Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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