Rewrite the statement in the if-then form: A necessary condition for this computer program to be correct is that it does not produce error messages during translation:
Solution
If the computer program produces error messages during translation then it is not correct.