Toward general diagnosis of static errors

DOI10.1145/2535838.2535870MaRDI QIDQ5408450zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

error diagnosisinformation flowstatic program analysistype inference

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) 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)

Recommendations

• Static checker of semantic run-time errors
• scientific article; zbMATH DE number 1863891
• Error invariants
• Declarative error diagnosis
• Skalpel: a constraint-based type error slicer for standard ML

Cited in

(18)

• Improving type error reporting for type classes
• Finding fix locations for CFL-reachability analyses via minimum cuts
• Severity levels of inconsistent code
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
• Automatic Binding-Related Error Diagnosis in Logic Programs
• scientific article; zbMATH DE number 43241 (Why is no real title available?)
• scientific article; zbMATH DE number 1956467 (Why is no real title available?)
• scientific article; zbMATH DE number 1956560 (Why is no real title available?)
• scientific article; zbMATH DE number 1974023 (Why is no real title available?)
• Systematic identification and communication of type errors
• Error invariants
• scientific article; zbMATH DE number 1863891 (Why is no real title available?)
• scientific article; zbMATH DE number 2090852 (Why is no real title available?)
• scientific article; zbMATH DE number 1400020 (Why is no real title available?)
• Skalpel: a constraint-based type error slicer for standard ML
• Skalpel: a type error slicer for standard ML
• Static checker of semantic run-time errors
• Doomed program points

Describes a project that uses

Uses Software

• OCaml
• Jif

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)