| 
|
Quote: add assertions which give the correct result for an example execution; machine-checked; made program easier to understand
topics >
all references >
references m-o >
Topic:
run-time assertions
Topic:
program proof via assertions
Topic:
definition by example
Topic:
function definition
Quotation Skeleton
Any function definition can be decorated with a … This idea has worked out well: it is … it. The fact that the example is machine-checked … [each line can end with = "resulting-string-from-line's-operation"] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: run-time assertions (25 items)
Topic: program proof via assertions (61 items)
Topic: definition by example (26 items)
Topic: function definition (25 items)