Семантика (программирование)
Материал из Википедии — свободной энциклопедии
Для термина «Семантика» см. другие значения.
Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка, так и для целей формальной верификации программ на этом языке программирования.
[править] Подходы
 |
Этот раздел статьи ещё не написан.
Согласно замыслу одного из участников Википедии, на этом месте должен располагаться раздел, посвящённый денотационной, операционной, аксиоматической семантике.
Вы можете помочь проекту, написав этот раздел. |
[править] См. также
[править] Литература
|
|
Этот раздел статьи ещё не написан.
Согласно замыслу одного из участников Википедии, на этом месте должен располагаться раздел, посвящённый фундаментальной литературе по теме.
Вы можете помочь проекту, написав этот раздел. |
 |
Для улучшения этой статьи желательно?:
|
 |
Это заготовка статьи по информатике. Вы можете помочь проекту, исправив и дополнив её. |
