Group:
goals for a programming system
Group:
meaning and truth
Topic:
software documentation
Topic:
limitations of formalism
Topic:
program execution
Topic:
program listing
Topic:
program proving is infeasible
Topic:
semantics by an abstract machine
Topic:
source-rich system
Topic:
understanding systems
Topic:
what is truth
| |
Subtopic: source as truth 
| Quote: source code is the truth about a system; defines its worldview, underlying assumptions, and hidden limitations and strengths [»weisM11_1987]
| | Quote: if we have complete source code then the correctness of a system is completely knowable [»weisM11_1987]
|
Subtopic: source is the only description
| Quote: the program itself is the only complete description of what the program will do [»daviPJ3_1972]
| | Quote: only the code really counts; unverified, hand-made documents are not reliable [»wagnF5_1992]
| | Quote: a program is the only complete description of the program's behavior [»demiRA5_1979]
| | Quote: Modeler describes software as a single unit of text; like a card deck for a bare computer [»lampBW6_1983]
|
Subtopic: code is better
| Quote: Programmers_Assistant shows code instead of plan because code is concise, unambiguous, and familiar [»wateRC1_1982]
|
Subtopic: static representation of dynamic process
| Quote: a computer program is a prescription for computer behavior [»handP_1981]
| | Quote: programming is controlling the activity of a digital computer by expressing one's will on punched tapes and other input medium [»turiA3_1951]
| | Quote: a program is a nondeterministic mechanism that changes the state of the machine it controls
| | QuoteRef: backJ8_1978a ;;614 "Underlying every programming language is a model of a computing system that its programs control
| | QuoteRef: dijkEW3_1968 ;;147 conceptualize in terms of static relationships not dynamic relationships
| | QuoteRef: cbb_1973 ;;2/17/74 a program is a threaded tree a static representation of a dynamic process
|
Subtopic: program as initial conditions
| Quote: a program defines the initial conditions of a computer or state machine [»cbb_1973, OK]
|
Subtopic: execution as truth
| Quote: even if a complete description of a machine is unavailable, run a program and you will see what it does
| | Quote: sometimes only way to discover a program's behavior is by experiment; neither mathematics nor science since can not generalize or publish results [»hoarCA8_1986]
|
Subtopic: source not important
Quote: for programming languages semantics is far more important than syntax
[»straC8_1967]
|
Related Topics
Group: goals for a programming system (21 topics, 983 quotes)
Group: meaning and truth (18 topics, 634 quotes)
Topic: software documentation (64 items)
Topic: limitations of formalism (93 items)
Topic: program execution (8 items)
Topic: program listing (14 items)
Topic: program proving is infeasible (47 items)
Topic: semantics by an abstract machine (38 items)
Topic: source-rich system (27 items)
Topic: understanding systems (48 items)
Topic: what is truth
(67 items)
|
