Отсутствие сообщений компьютера о синтаксических ошибках
есть достаточное условие правильности программы
есть необходимое и достаточное условие правильности программы
гарантирует правильность программы
есть необходимое, но не достаточное условие правильности программы