git @ Cat's Eye Technologies The-Dossier / c7f3bad
Add concluding paragraph. Chris Pressey 6 years ago
1 changed file(s) with 7 addition(s) and 0 deletion(s). Raw diff Collapse all Expand all
+7
-0
article/Some Notes on Proving Programs Correct.md less more
7474 if you were expecting it to tell you something about the
7575 result or what it means.
7676
77 To conclude, let's revisit the bucket metaphor above, but
78 instead of programs, consider the following objects: pairs
79 consisting of a program and a set of requirements. Call these
80 objects _specified programs_. Now, you _can_, in principle, divide
81 these objects into two buckets: the specified programs that meet
82 their specification, and the specified programs that don't.
83
7784 Footnotes
7885 ---------
7986