| 
|
QuoteRef: hoarCA8_1986
topics >
all references >
ThesaHelp:
references g-h
Topic:
limitations of formalism
Topic:
programming as mathematics
Topic:
declarative vs. procedural representation
Topic:
program source as truth
Topic:
separate a module's interface specification from its implementation
Topic:
requirement specification by assertion
Topic:
chaotic behavior
Group:
science
Reference
Hoare, C.A.R., "Mathematics of Programming", Byte, 11, 8, pp. 115-127, August, 1986. Google
115 ;;Quote: computer programs are mathematical expressions of behavior, but they are not treated as such in practice
116 ;;Quote: sometimes only way to discover a program's behavior is by experiment; neither mathematics nor science since can not generalize or publish results
118 ;;Quote: an abstract command specifies behavior without specifying an implementation
118 ;;Quote: the union of two commands is an abstract command that is satisfied by either component
122 ;;Quote: many scientists believe the world is governed by simple mathematical laws; but in practice, all consequences can not be predicted
ThesaHelp: references g-h (299 items)
Topic: limitations of formalism (92 items)
Topic: programming as mathematics (27 items)
Topic: declarative vs. procedural representation (53 items)
Topic: program source as truth (17 items)
Topic: separate a module's interface specification from its implementation (86 items)
Topic: requirement specification by assertion (28 items)
Topic: chaotic behavior (27 items)
Group: science (45 topics, 1840 quotes)