Денотати вна сема нтика це підхід до формалізації семантики програмних систем за допомогою математичних об єктів які опи

Денотати́вна сема́нтика — це підхід до формалізації семантики програмних систем за допомогою математичних об'єктів, які описують зміст системи. Кожній конструкції мови програмування відповідає якась математична інтерпретація.

Денотаційна семантика виникла в роботах ^[en] та Дана Скотта на початку 60-х років минулого століття. У їх ранніх роботах денотат (зміст) комп'ютерної системи інтерпретувався функцією яка відображає вхідні дані у вихідні. Пізніше Скотт перейшов до денотативної семантики заснованої на доменах. Опис системи у денотативній семантиці здійснюється за допомогою математичних об'єктів та абстрагований від її реалізації конкретною мовою програмування.

Важливим аспектом денотативної семантики є принцип композиційності, за яким денотат програми будується з денотатів її складових частин за допомогою операції композиції.

До того як Еугеніо Моджі відкрив що побічні ефекти можна описувати монадами, денотаційна семантика не підходила для опису таких програм, які щоправда дуже просто описувались операційною семантикою.

Див. також

Зноски

. Архів оригіналу за 16 березня 2018. Процитовано 15 березня 2018.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()

Посилання

Denotational Semantics [ 9 лютого 2018 у Wayback Machine.] на WikiWikiWeb

Це незавершена стаття про програмування.
Ви можете проєкту, виправивши або дописавши її.

Це незавершена стаття з математики.
Ви можете проєкту, виправивши або дописавши її.

[bartosh-1] . Архів оригіналу за 16 березня 2018. Процитовано 15 березня 2018.{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()