| 
|
QuoteRef: dijkEW_1979
topics >
all references >
Group:
program proving
ThesaHelp:
references c-d
Topic:
understanding systems
Topic:
localized understanding
Topic:
programming as mathematics
Topic:
programming style
Group:
natural language
Topic:
natural language as communication
Topic:
writing
Topic:
handling complexity
Topic:
publishing
Reference
Dijkstra, E.W., "My hopes of computer science", Proceedings International Conference on Software Engineering, IEEE, pp. 442-448, 1979. Google
442 ;;Quote: always remember you are on the wrong track when you need more than five lines
442+;;Quote: by not using concise, formal notation, many authors exceed the five-line limit and introduce too much complexity
443 ;;Quote: what can be said at all, can be said clearly
443 ;;Quote: computer science needs to discover how to maintain order in a very large, discrete, intertwined universe; and how to teach this QuoteRef: dijkEW_1979 ;;444 "I expect for computing scientists the most convenient way of thinking and understanding to be rather unconventional
445 ;;Quote: how should software be published? code is only fit for mechanical execution QuoteRef: dijkEW_1979 ;;445 "we must be able to discuss correctness independently of any underlying computational model [i.e. questions of efficiency]
Group: program proving (10 topics, 310 quotes)
ThesaHelp: references c-d (337 items)
Topic: understanding systems (48 items)
Topic: localized understanding (43 items)
Topic: programming as mathematics (27 items)
Topic: programming style (47 items)
Group: natural language (16 topics, 531 quotes)
Topic: natural language as communication (29 items)
Topic: writing (32 items)
Topic: handling complexity (59 items)
Topic: publishing (13 items)