| 
|
QuoteRef: grieD_1981
topics >
all references >
ThesaHelp:
references g-h
Topic:
constructing proof and program together
Topic:
programming as mathematics
Topic:
consistency testing
Group:
exception handling
Topic:
data-driven design
Topic:
program proof via assertions
Reference
Gries, D., The Science of Programming, New York, Springer-Verlag, 1981. Google
164 ;;Quote: a program and its proof should be developed together; with the proof usually leading the way
164 ;;Quote: formality is important in programming because of the large amount of detail which must be absolutely correct
168 ;;Quote: telephone control programs are more than half audit code for automatic recovery from unintended states; masks software and hardware errors
283 ;;Quote: define your variables and their logical relationships before using them
299 ;;Quote: it is important to find the loop invariant for each loop
ThesaHelp: references g-h (299 items)
Topic: constructing proof and program together (22 items)
Topic: programming as mathematics (27 items)
Topic: consistency testing (60 items)
Group: exception handling (12 topics, 305 quotes)
Topic: data-driven design (41 items)
Topic: program proof via assertions (61 items)