| 
|
Quote: it is more natural to describe a program by its derivation or evolution from specifications
topics >
all references >
references sa-sz >
Topic:
transformation of programs
Topic:
constructing proof and program together
Quotation Skeleton
Many programmers feel it is more natural to … to derive the implementation from straightforward specifications [refs] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: transformation of programs (27 items)
Topic: constructing proof and program together (22 items)