Yes, but you can prove a program is totally correct for some precondition. I'd be interested in knowing if any languages have been developed that require the developer to somehow prove their programs correct with a negligible amount of pain. It's seems possible.
Slashdot Mirror
Yes, but you can prove a program is totally correct for some precondition. I'd be interested in knowing if any languages have been developed that require the developer to somehow prove their programs correct with a negligible amount of pain. It's seems possible.