Topic: program source as truth

topics > computer science > programming > Group: program representation

goals for a programming system
meaning and truth

software documentation
limitations of formalism
program execution
program listing
program proving is infeasible
semantics by an abstract machine
source-rich system
understanding systems
what is truth

Subtopic: source as truth up

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 up

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 up

Quote: Programmers_Assistant shows code instead of plan because code is concise, unambiguous, and familiar [»wateRC1_1982]

Subtopic: static representation of dynamic process up

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 up

Quote: a program defines the initial conditions of a computer or state machine [»cbb_1973, OK]

Subtopic: execution as truth up

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 up

Quote: for programming languages semantics is far more important than syntax

Related Topics up

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)

Updated barberCB 11/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.