Compiler error messages considered unhelpful: The landscape of text-based programming error message research
Diagnostic messages generated by compilers and interpreters such as syntax error
messages have been researched for over half of a century. Unfortunately, these messages …
messages have been researched for over half of a century. Unfortunately, these messages …
What would other programmers do: suggesting solutions to error messages
B Hartmann, D MacDougall, J Brandt… - Proceedings of the …, 2010 - dl.acm.org
Interpreting compiler errors and exception messages is challenging for novice programmers.
Presenting examples of how other programmers have corrected similar errors may help …
Presenting examples of how other programmers have corrected similar errors may help …
On Compiler Error Messages: What They Say and What They Mean
VJ Traver - Advances in Human‐Computer Interaction, 2010 - Wiley Online Library
Programmers often encounter cryptic compiler error messages that are difficult to
understand and thus difficult to resolve. Unfortunately, most related disciplines, including …
understand and thus difficult to resolve. Unfortunately, most related disciplines, including …
[图书][B] Error messages as rational reconstructions
T Barik - 2018 - search.proquest.com
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 …
and type inference—on source code to help developers resolve compiler errors, apply …
How developers visualize compiler messages: A foundational approach to notification construction
T Barik, K Lubick, S Christie… - 2014 Second IEEE …, 2014 - ieeexplore.ieee.org
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 …
notifications. Self-explanation, when left solely to developers, can result in a significant loss …
Precise explanation of success typing errors
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 …
detect type errors statically. Often, in order not to unnecessarily reject programs which are …
Security type error diagnosis for higher-order, polymorphic languages
J Weijers, J Hage, S Holdermans - … of the ACM SIGPLAN 2013 workshop …, 2013 - dl.acm.org
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 …
improvement within the context of type based security analysis on a let-polymorphic call by …
[PDF][PDF] Domain specific type error diagnosis (DOMSTED)
J Hage - Technical Report Series, 2014 - ics-archive.science.uu.nl
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 …
programming, and to result in programs that are easier to understand and maintain. For …
[PDF][PDF] A constraint system for a SML type error slicer
V Rahli, JB Wells, F Kamareddine - 2010 - orbilu.uni.lu
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 …
slicing (TES) helps the programmer by isolating the part of a program contributing to a type …
Corrective hints for type incorrect Generic Java programs
N El Boustani, J Hage - Proceedings of the 2010 ACM SIGPLAN …, 2010 - dl.acm.org
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 …
Experience with implementations of the Java Language Specification such as EJC and …