Сема́нтика — в программировании — система правил определения поведения отдельных языковых конструкций. Семантика определяет смысловое значение предложений алгоритмического языка.

См. также

• Семантическая паутина

Программирование

Formale Semantik | Formal semantics of programming languages | Sémantique des langages de programmation | Semântica formal | 形式语义学