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