Ошибочная программа

При разработке языков программирования , ошибочной считается программа семантика которой нечетко определена, но реализация языка не обязана сигнализировать об ошибке ни во время компиляции, ни во время выполнения. Например, в Аде :

Помимо ограниченных ошибок, правила языка определяют определенные виды ошибок, приводящие к ошибочному выполнению. Как и в случае с ограниченными ошибками, реализации не требуется обнаруживать такие ошибки ни до, ни во время выполнения. В отличие от ограниченных ошибок, возможные последствия ошибочного выполнения не ограничены языком; эффект в целом непредсказуем.

Определение условия как «ошибочного» означает, что реализации языка не требуется выполнять потенциально дорогостоящую проверку ( например , что глобальная переменная ссылается на тот же объект, что и параметр подпрограммы), но, тем не менее, может зависеть от истинности условия при определении семантики условия. программа.