ThesaHelp: references sasz
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 (NorthHolland), September 1983, pp. 199212.
Google
Quotations
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 computeraided 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

Related Topics
ThesaHelp: references sasz (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)
