Семантика мов програмування
Матеріал з Вікіпедії — вільної енциклопедії.
Семантика в теорії програмування — розділ що вивчає математичне значення мови програмування та моделі обчислень. Формальна семантика мови задається математичною моделлю яка описує можливі в мові обчислення.
Основні види:
