Toward general diagnosis of static errors

@article{Zhang2014TowardGD,
  title={Toward general diagnosis of static errors},
  author={Danfeng Zhang and A. Myers},
  journal={Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
  year={2014}
}
  • Danfeng Zhang, A. Myers
  • Published 2014
  • Computer Science
  • Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
We introduce a general way to locate programmer mistakes that are detected by static analyses such as type checking. The program analysis is expressed in a constraint language in which mistakes result in unsatisfiable constraints. Given an unsatisfiable system of constraints, both satisfiable and unsatisfiable constraints are analyzed, to identify the program expressions most likely to be the cause of unsatisfiability. The likelihood of different error explanations is evaluated under the… Expand
Practical SMT-based type error localization
General Type Error Diagnostics Using MaxSMT
Diagnosing type errors with class
Finding Minimum Type Error Sources
A practical framework for type inference error explanation
Diagnosing Haskell Type Errors
Let's hear both sides: On combining type-error reporting tools
...
1
2
3
4
5
...