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

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

Основні види: