An axiomatic treatment of exception handling in an expression-oriented language

DOI10.1145/24039.24052zbMath0623.68010OpenAlexW2055771053MaRDI QIDQ3761669

Shaula A. Yemini, Daniel M. Berry

Publication date: 1987

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

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1987-9/

zbMATH Keywords

program specificationaxiomatic semanticsside effectproof rulesAlgol 68replacement model of exception handling

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

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

Uses Software

• Unnamed Item

This page was built for publication: An axiomatic treatment of exception handling in an expression-oriented language