Map
Index
Random
Help
th

Quote: a multi-exit statement includes labels for alternative actions and assertions for program proving

topics > all references > references a-b > QuoteRef: backRJ11_1979 , p. 3 [



Topic:
exception handling by recovery block or rescue clause
Topic:
program proof via assertions

Note

Defines multi-exit statements as each assignment or conditional puts you into a state (with multi-word name). This is actually the label of a statement block that is executed next. Each statement block also has an assertion predicate for program proving.


Related Topics up

Topic: exception handling by recovery block or rescue clause (22 items)
Topic: program proof via assertions (61 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.