76,576 views
3 votes
3 votes
The computer scientists Richard Conway and David Gries once wrote: The absence of error messages during translation of a computer program is only a necessary and not a sufficient condition for reasonable [program] correctness. Rewrite this statement without using the words necessary or sufficient.

User Evu
by
3.0k points

1 Answer

26 votes
26 votes

Answer:

A computer program is not reasonably correct if it has no error messages during translation.

Step-by-step explanation:

First, we need to understand what the statement means, and we also need to identify the keywords.

The statement means that, when a program does not show up error during translation; this does not mean that the program is correct

Having said that:

We can replace some keywords as follows:

absence of error messages := no error messages

User Ozanmuyes
by
3.2k points