| 
|
Quote: describe a program by its input and output specification
topics >
all references >
references m-o >
Topic:
program proof via assertions
Quotation Skeleton
This program can be described as lessall (x … . The expression 'compute … is the output specification; it provides a description … . is the input specification; it gives the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)