| 
|
Quote: Hehner's 'if' statement is more robust than Dijkstra's 'do' because it fails if no guard is true, e.g., an unexpected state
topics >
all references >
references p-r >
Topic:
error safe systems
Group:
repetitive control
Topic:
recursion
Quotation Skeleton
If none of the guards of an if … it encounters an if. This "robustness" property is … [which terminates normally when no guard is true]. The if statement of Hehner is then more robust while … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: can implement Dijkstra's 'do' statement via recursive calls of Hehner's 'if' statement
Topic: error safe systems (75 items)
Group: repetitive control (7 topics, 117 quotes)
Topic: recursion (16 items)