Ada exception handling: an axiomatic approach

DOI10.1145/357094.357100zbMath0468.68014OpenAlexW2081379485MaRDI QIDQ3922135

Wolfgang Polak, David C. Luckham

Publication date: 1980

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/357094.357100

zbMATH Keywords

verificationerror handlingprogram specifications

Mathematics Subject Classification ID

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

Related Items (3)

Partial correctness of exits from concurrent structures ⋮ Proof theory for exception handling in a tasking environment ⋮ A Hoare-like verification system for a language with an exception handling mechanism

This page was built for publication: Ada exception handling: an axiomatic approach