Семантика (в программировании)
Что программа значит — что она делает при выполнении. Не то же самое, что синтаксис (как она выглядит). Формально её задают тремя способами: операционным, денотационным и аксиоматическим.
Операционная семантика: программа — конечный автомат, а смысл — действие каждого шага (машина SECD, абстрактная интерпретация). Денотационная: программа — математическая функция (Скотт и Стрейчи, 1970-е). Аксиоматическая: программа — набор логических утверждений о состоянии (логика Хоара, логика разделения). Практически важна при проектировании компиляторов и языков и при формальной верификации. Неопределённое поведение в C/C++ — это «когда семантика молчит», и компилятор вправе просто выкинуть такой код.