On 11/4/10 6:12 PM, rjf wrote:
1. can you prove a program correct without looking at its source code?
answer: yes, sometimes.
I'm really curious. How would you do prove a program correct without
looking at its source code? (I assume "prove correct" means that you
guarantee that a certain set of inputs gives a corresponding certain set
of outputs, assuming a perfect computer, compiler, no cosmic rays, etc.)
Jason
--
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
