| 
|
QuoteRef: schwJT_1972
topics >
all references >
ThesaHelp:
references sa-sz
Topic:
descriptive languages
Topic:
programming as mathematics
Group:
philosophy of mathematics
Topic:
no need for efficiency
Reference
Schwartz, J.T., "Semantic definition methods and the evolution of programming languages", pp. 1-24, in Rustin, R. (ed.), Formal Semantics of Programming Languages, New Jersey, Prentice Hall, 1972. Google
6 ;;Quote: mathematics is what programming becomes when freed of all considerations of efficiency QuoteRef: schwJT_1972 ;;7 computational (i.e. algorithmic) and object describing languages (or languages of mechanism
ThesaHelp: references sa-sz (237 items)
Topic: descriptive languages (22 items)
Topic: programming as mathematics (27 items)
Group: philosophy of mathematics (11 topics, 330 quotes)
Topic: no need for efficiency (28 items)