Correct and Robust Programs

DOI10.1109/TSE.1984.5010218zbMATH Open0532.68021MaRDI QIDQ3314964FDOQ3314964

Authors: Flaviu Cristian 

Publication date: 1984

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

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

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)

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
• Title not available (Why is that?)
• Conditional composition
• Towards Automatic Exception Safety Verification
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)