Quote: a programmer should make assertions that imply a correct routine; then checking the assertions checks the routine

Quotation Skeleton

How can one check a routine in the … not have too difficult a task the programmer … correctness of the whole programme easily follows.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: constructing proof and program together (22 items)