Чем отличаются семантики в программировании?

Семантика в программировании определяет смысл и значение конструкций языка. Различия проявляются в том, как язык интерпретирует и выполняет код.

Основные типы семантик:

• Статическая семантика: Проверяет корректность программы до ее выполнения, например, типы данных и лексическую область видимости. Ошибки статической семантики выявляются на этапе компиляции.
• Динамическая семантика: Определяет, как программа ведет себя во время выполнения, включая последовательность операций, управление памятью и обработку ошибок.
  • Операционная семантика: Описывает выполнение программы через последовательность шагов абстрактной машины или переход из одного состояния в другое.
  • Денотационная семантика: Связывает программные конструкции с математическими объектами (например, функциями),