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

Понятие семантики в информатике

Можно выделить следующие типы операционной семантики: Семантика аксиоматическая....
Семантика денотации....
Семантика интерпретаций....
Семантика трансляций....
Семантика трансформации.

Статья от экспертов

Аксиоматическая семантика подмножества языка Cloud Sisal для верификации программ инженерной математики

Модальная логика

Аксиоматическую точность модальной логике придал К. И. Льюис в первой половине XX века....
Изначально у льюисовских модальных систем не было точной семантики; более того, они не были конечно-значными...
Во второй половине XX века удалось найти для модальных систем адекватные алгебраические семантики, позволившие...
Практически для любой модальной системы существует адекватная алгебраическая семантика, но она может

Статья от экспертов

Семантика типов данных функционально-потокового языка параллельного программирования Пифагор

Работа посвящена описанию семантики типов данных для функционально-потокового языка параллельного программирования Пифагор. Рассматривается два вида семантики: математическая семантика на основе неформальной теории множеств и аксиоматическая семантика