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

В этой статье не процитировать какие - либо источники . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален . Найти источники:  «Аксиоматическая семантика»  -  новости  · газеты  · книги  · ученый  · JSTOR ( декабрь 2009 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон )

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

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

См. Также [ править ]

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