Publication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Paper

An Axiomatic Treatment of Exception Handling in an Expression-Oriented Language

Download paper

Abstract

An axiomatic semantic definition is given of the replacement model of exception handling in an expression-oriented language. These semantics require only two new proof rules for the most general case. An example is given of a program fragment using this model of exception handling, and these rules are used to verify the consistency of the fragment and its specification. © 1987, ACM. All rights reserved.

Date

Publication

ACM Transactions on Programming Languages and Systems (TOPLAS)

Authors

Resources

Share