Аксиоматическая семантика - Axiomatic semantics

Аксиоматическая семантика это подход, основанный на математическая логика для доказательства правильность компьютерных программ. Это тесно связано с Логика Хоара.

Аксиоматическая семантика определяет значение команды в программе, описывая ее влияние на утверждения о состоянии программы. Утверждения представляют собой логические утверждения - предикаты с переменными, где переменные определяют состояние программы.

Смотрите также

• Алгебраическая семантика (информатика) - в терминах алгебр
• Денотационная семантика - переводом программы на другой язык
• Операционная семантика - по состоянию расчета
• Формальная семантика языков программирования - обзор
• Семантика преобразователя предикатов - описывает смысл фрагмента программы как функцию преобразования постусловие к предварительное условие нужно было его установить.
• Утверждение (вычисление)