Title

Exit Statements are Executable Miracles

Authors

Wei Chen, Washington University in St Louis

Document Type

Technical Report

Publication Date

1991-01-01

Filename

WUCS-91-53.pdf

DOI:

10.7936/K77M0694

Technical Report Number

WUCS-91-53

Abstract

In this paper, we present a simple wp semantics and a programming law for the exit statement.

Comments

Permanent URL: http://dx.doi.org/10.7936/K77M0694

Recommended Citation

Chen, Wei, "Exit Statements are Executable Miracles" Report Number: WUCS-91-53 (1991). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/671