| 
|
QuoteRef: naurP4_1993
topics >
all references >
ThesaHelp:
references m-o
Topic:
Turing machine
Topic:
programmers
Topic:
software documentation
Topic:
experimental results on programming
Topic:
programming as mathematics
Group:
program representation
Topic:
limitations of formalism
Reference
Naur, P. , "Understanding Turing's universal machine--Personal style in program description ", The Computer Journal , 36 , 4 , 1993 , pp. 351-372 . Google
abstract ;;Quote: compared notes about Turing's description of his universal machine; large individual differences in style and evaluations
352 ;;Quote: as individuals, made notes to understand and catch errors in Turing's description, then compared and evaluated everyone's notes
356 ;;Quote: wide variation in notes for those participants who discovered the errors in Turing's universal computer
360 ;;Quote: little agreement about what makes an understandable explanation of Turing's universal computer
360+;;Quote: little agreement about the effectiveness of formally complete descriptions of Turing's universal machine
360 ;;Quote: the effectiveness of a particular programming technique depends overwhelmingly on the programmer's personality
361 ;;Quote: programmers do not agree about the value of a formal descriptive technique
ThesaHelp: references m-o (268 items)
Topic: Turing machine (30 items)
Topic: programmers (14 items)
Topic: software documentation (64 items)
Topic: experimental results on programming (75 items)
Topic: programming as mathematics (27 items)
Group: program representation (25 topics, 659 quotes)
Topic: limitations of formalism (92 items)