3 ms·
Compilers can only tell if programs are internally consistent, they can't help ensure that they are correct. Compilers don't know about inputs. Compilers don't
by Touche 8y ago
Compilers can only tell if programs are internally consistent, they can't help ensure that they are correct. Compilers don't know about inputs. Compilers don't know if the branch you wrote goes in the correct direction for a given input.
- mywittyname 8y agoWell, the compiler can optimize away any superfluous branches which exist entirely to act as hints for the programmer.
- arduanika 8y ago> they can't help ensure that they are correct Of course they can help. Maybe you meant: > they can't ensure that they are correct