4 ms·
To prove is to demonstrate, and the way to do it is to display information about what is invalid about the code. So all these ways of phrasing it are synonymous
by tshaddox 1y ago
To prove is to demonstrate, and the way to do it is to display information about what is invalid about the code. So all these ways of phrasing it are synonymous.
- antonvs 1y agoThe meaning of "proof" in a computer science context is much stronger than that. A proof does involve demonstration, but it's demonstration via a deductive logical argument that shows that the conclusion is logically guaranteed to follow from the premises. Compiler error messages would be a lot more verbose if they did that rigorously.
- tshaddox 1y agoAgain, I didn’t intend the mathematical definition of “prove.”