Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …

Interpreting compiler errors and exception messages is challenging for novice programmers.
Presenting examples of how other programmers have corrected similar errors may help …

Programmers often encounter cryptic compiler error messages that are difficult to
understand and thus difficult to resolve. Unfortunately, most related disciplines, including …

Program analysis tools apply elegant algorithms—such as static analysis, model checking,
and type inference—on source code to help developers resolve compiler errors, apply …

Self-explanation is one cognitive strategy through which developers comprehend error
notifications. Self-explanation, when left solely to developers, can result in a significant loss …

Nowadays, many dynamic languages come with (some sort of) type inference in order to
detect type errors statically. Often, in order not to unnecessarily reject programs which are …

We combine the type error slicing and heuristics based approaches to type error diagnostic
improvement within the context of type based security analysis on a let-polymorphic call by …

Domain-specific languages (DSLs) have the potential both to reduce the effort of
programming, and to result in programs that are easier to understand and maintain. For …

Existing compilers for many languages have confusing type error messages. Type error
slicing (TES) helps the programmer by isolating the part of a program contributing to a type …

Since version 1.5, generics (parametric polymorphism) are part of the Java language.
Experience with implementations of the Java Language Specification such as EJC and …