Extended static checking

MaRDI QIDQ2767989zbMATH OpenFDO

Authors Greg Nelson

Publication date 30 January 2002

zbMATH Keywords

extended static checkingsoftware productivity

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1832224
• Mathematics of Program Construction
• Faster and more complete extended static checking for the Java modeling language
• Static checker of semantic run-time errors
• Annotation inference for modular checkers

Cited in

(7)

• Annotation inference for modular checkers
• Faster and more complete extended static checking for the Java modeling language
• Extending C for checking shape safety
• scientific article; zbMATH DE number 1832224 (Why is no real title available?)
• Extended Static Checking by Calculation Using the Pointfree Transform
• Mathematics of Program Construction
• Static checker of semantic run-time errors

Describes a project that uses

Uses Software

• ESC/Java
• SIMPLIFY

This page was built for publication: Extended static checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767989)