Map
Index
Random
Help
th

QuoteRef: backRJ11_1979

topics > all references > ThesaHelp: references a-b



ThesaHelp:
references a-b
Group:
exception handling
Topic:
goto statement
Topic:
exception handling by recovery block or rescue clause
Topic:
program proof via assertions

Reference

Back, R.J.R., "Exception handling with multi-exit statements", IW 125/79, Amsterdam, Mathematisch centrum, November 1979. Google

Other Reference

Stanford Library #013608

Quotations
1 ;;Quote: much of a program is for detection and handling of exceptional situations
1 ;;Quote: exceptions should be handled separately from the normal case; good use of a restricted goto
3 ;;Quote: a multi-exit statement includes labels for alternative actions and assertions for program proving


Related Topics up

ThesaHelp: references a-b (396 items)
Group: exception handling   (12 topics, 305 quotes)
Topic: goto statement (25 items)
Topic: exception handling by recovery block or rescue clause (22 items)
Topic: program proof via assertions (61 items)

Collected barberCB 3/88
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.