Toward general diagnosis of static errors
DOI10.1145/2535838.2535870zbMATH Open1284.68141OpenAlexW2045041259WikidataQ130992040 ScholiaQ130992040MaRDI QIDQ5408450FDOQ5408450
Authors: Danfeng Zhang, Andrew C. Myers 
Publication date: 10 April 2014
Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2535838.2535870
Recommendations
Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18)
Cited In (16)
- Title not available (Why is that?)
- Skalpel: a type error slicer for standard ML
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automatic Binding-Related Error Diagnosis in Logic Programs
- Improving type error reporting for type classes
- Error invariants
- Finding fix locations for CFL-reachability analyses via minimum cuts
- Doomed program points
- Severity levels of inconsistent code
- Title not available (Why is that?)
- Systematic identification and communication of type errors
- Skalpel: a constraint-based type error slicer for standard ML
- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
- Title not available (Why is that?)
Uses Software
This page was built for publication: Toward general diagnosis of static errors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408450)
