Inference rules for programming languages with side effects in expressions

DOI10.1007/BFB0105396MaRDI QIDQ6567703zbMATH OpenFDO

Authors Paul Evan Black, Phillip J. Windley

Publication date 5 July 2024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Publication:5753940
• A dynamic logic for unstructured programs with embedded assertions
• Publication:3197301
• Some inference rules for integer arithmetic for verification of flowchart programs on integers
• Towards verification of C programs. C-light language and its formal semantics

Cites work

• scientific article; zbMATH DE number 2185681 (Why is no real title available?)
• scientific article; zbMATH DE number 2185685 (Why is no real title available?)
• scientific article; zbMATH DE number 2185692 (Why is no real title available?)
• scientific article; zbMATH DE number 2185703 (Why is no real title available?)
• scientific article; zbMATH DE number 53100 (Why is no real title available?)
• An axiomatic basis for computer programming
• Assignment and Procedure Call Proof Rules

This page was built for publication: Inference rules for programming languages with side effects in expressions

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