Correct and Robust Programs
From MaRDI portal
Publication:3314964
DOI10.1109/TSE.1984.5010218zbMath0532.68021MaRDI QIDQ3314964
Publication date: 1984
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Efficient weakest preconditions, Specification and verification challenges for sequential object-oriented programs, Conditional composition, Proof theory for exception handling in a tasking environment, A Hoare-like verification system for a language with an exception handling mechanism, The Weakest Libera! Preconditions of Nondeterministic Machines and Robust Programs, Constructing a program with exceptions, Exits in the refinement calculus, Coalgebras and monads in the semantics of Java