Correct and Robust Programs

DOI10.1109/TSE.1984.5010218MaRDI QIDQ3314964zbMATH OpenFDO

Authors Flaviu Cristian

Publication date 1984

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

exception handlingstructured programmingtotal correctnessprogram robustnessproof modularization

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Proof theory for exception handling in a tasking environment
• Publication:3197301
• A language of specified programs
• An axiomatic treatment of exception handling in an expression-oriented language
• Exception Handling: Formal Specification and Systematic Program Construction

Cited in

(14)

• Efficient weakest preconditions
• Verification rules for exception handling in Eiffel
• Exits in the refinement calculus
• Coalgebras and monads in the semantics of Java
• scientific article; zbMATH DE number 2061709 (Why is no real title available?)
• Conditional composition
• Towards Automatic Exception Safety Verification
• scientific article; zbMATH DE number 5199012 (Why is no real title available?)
• A Hoare-like verification system for a language with an exception handling mechanism
• Proof theory for exception handling in a tasking environment
• The Weakest Libera! Preconditions of Nondeterministic Machines and Robust Programs
• Specification and verification challenges for sequential object-oriented programs
• scientific article; zbMATH DE number 17827 (Why is no real title available?)
• Constructing a program with exceptions

This page was built for publication: Correct and Robust Programs

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