deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

Семантика в программировании

https://ru.wikipedia.org/wiki/Семантика_(программирование)

Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка, так и для целей формальной верификации программ на этом языке программирования.

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

Операционная семантика
Аксиоматическая семантика
Денотационная семантика
Интерпретационная семантика
Трансляционная семантика
Трансформационная семантика
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 0 comments