| 
|
QuoteRef: scheWL9_1983
topics >
all references >
ThesaHelp:
references sa-sz
Group:
program representation
Topic:
efficiency
Topic:
transformation of programs
Topic:
constructing proof and program together
Topic:
mathematical proof
Topic:
abstraction in programming
Topic:
commitment
Topic:
programming by sequential implementation
Topic:
mathematical proof as a social process
Reference
Scherlis, W.L., Scott, D.S., "First steps towards inferential programming", in Mason, R.E.A. (ed.), Information Processing 83, IFIP, Elsevier Science Publishers (North-Holland), September 1983, pp. 199-212. Google
200 ;;Quote: existing programming languages attempt to capture all of program development in one text; the program must balance clarity with efficiency
200 ;;Quote: it is more natural to describe a program by its derivation or evolution from specifications
200 ;;Quote: should separate program derivations from the process of building derivations
200+;;Quote: the process of building a mathematical proof is exploratory, a process of filling in gaps; the end result is highly structured
202 ;;Quote: commitment of representation decisions is the inverse of abstraction; program derivation is a sequence of commitments
206 ;;Quote: the computer-aided proof of the four color theorem has undergone commentary in a 'social process'; contrary to DeMillo et al
207 ;;Quote: instead of program verification should derive correct programs with correctness checked at each stage
ThesaHelp: references sa-sz (237 items)
Group: program representation (25 topics, 659 quotes)
Topic: efficiency (96 items)
Topic: transformation of programs (27 items)
Topic: constructing proof and program together (22 items)
Topic: mathematical proof (23 items)
Topic: abstraction in programming (67 items)
Topic: commitment (31 items)
Topic: programming by sequential implementation (26 items)
Topic: mathematical proof as a social process (14 items)