A Hoare-like verification system for a language with an exception handling mechanism

DOI10.1016/0304-3975(91)90393-GzbMath0745.68077OpenAlexW2043470297MaRDI QIDQ1176241

Danuta Szczepanska

Publication date: 25 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90393-g

zbMATH Keywords

Hoare logicexception handlingverification system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Sound and complete Hoare-like calculi based on copy rules
• Robust data types
• Correct and Robust Programs
• An axiomatic treatment of exception handling in an expression-oriented language
• Exception Handling in CLU
• Ada exception handling: an axiomatic approach
• A mechanism for exception handling and its verification rules
• Exception handling
• Soundness and Completeness of an Axiom System for Program Verification
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
• An axiomatic basis for computer programming

This page was built for publication: A Hoare-like verification system for a language with an exception handling mechanism