| 
|
QuoteRef: hoarCA8_1987
topics >
all references >
ThesaHelp:
references g-h
ThesaHelp:
ACM references f-l
Topic:
programming as mathematics
Topic:
operator precedence
Reference
Hoare, C.A.R., Hayes, I.J., Jifeng, HE, Morgan, C.C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A., "Laws of programming", Communications of the ACM, 30, 8, August 1987, pp. 672-686. Google
672 ;;Quote: procedural programs are mathematical expressions subject to a set of laws
672 ;;Quote: an operation has higher precedence if it distributes over the other, e.g., multiplication and addition
ThesaHelp: references g-h (299 items)
ThesaHelp: ACM references f-l (241 items)
Topic: programming as mathematics (27 items)
Topic: operator precedence (13 items)