| 
|
Quote: a program is the only complete description of the program's behavior
topics >
all references >
references c-d >
Topic:
specification is infeasible
Topic:
program source as truth
Topic:
program proving is infeasible
Quotation Skeleton
The program itself is the only complete description … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: specification is infeasible (46 items)
Topic: program source as truth (17 items)
Topic: program proving is infeasible (46 items)