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

information flowstatic program analysistype inferenceerror diagnosis

Mathematics Subject Classification ID

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)

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

(16)

• scientific article; zbMATH DE number 1400020 (Why is no real title available?)
• Skalpel: a type error slicer for standard ML
• 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 1956467 (Why is no real title available?)
• scientific article; zbMATH DE number 1974023 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1956560 (Why is no real title available?)
• Skalpel: a constraint-based type error slicer for standard ML
• Systematic identification and communication of type errors
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs

Describes a project that uses

Uses Software

• Jif
• OCaml

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)