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

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

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

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

Примечания

1. Справочное руководство по языку программирования Ada ISO/IEC 8652:1995(E) pdf ^{[ постоянная неработающая ссылка ]} , раздел 1.1.5.