| 
|
QuoteRef: backRJ11_1979
topics >
all references >
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
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
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)