| 
|
Quote: program correctness is more than a calculable relation between its specification and its text
Topic:
limitations of formalism
Topic:
specification is infeasible
Quotation Skeleton
And yet, in retrospect, the view that program … Lord Tennyson, Faultily faultless, icily regular, splendidly null … the relationship between the specification and the reality … [p. 10] Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: program correctness includes the reality in which the need for a program emerged in the first place
Topic: limitations of formalism (93 items)
Topic: specification is infeasible (46 items)