Съдържание
- Определение - Какво означава Denotational Semantics?
- Въведение в Microsoft Azure и Microsoft Cloud | В това ръководство ще научите какво представлява компютърните изчисления и как Microsoft Azure може да ви помогне да мигрирате и стартирате бизнеса си от облака.
- Техопедия обяснява Денотационната семантика
Определение - Какво означава Denotational Semantics?
В компютърните науки денотационната семантика е подход за предоставяне на математическо значение на системите и езиците за програмиране. С други думи, денотационната семантика е формална техника за изразяване на семантичната дефиниция на език за програмиране.
Разработена през 60-те години на миналия век в Оксфордския университет от Christopher Stracheys Research Programming Research Group, методологията включва нотационна елегантност и математическа строгост. Въпреки че първоначално е проектирана като инструмент за анализ, денотационната семантика се използва като инструмент за изпълнение и езиков дизайн.
Въведение в Microsoft Azure и Microsoft Cloud | В това ръководство ще научите какво представлява компютърните изчисления и как Microsoft Azure може да ви помогне да мигрирате и стартирате бизнеса си от облака.
Техопедия обяснява Денотационната семантика
В денотационната семантика основната идея е картографиране на всяко синтактично образувание, свързано с език на програмиране, в някаква форма на математическо образувание, превеждане на конструктивни езици на програмиране в математически обекти.
Денотационната семантична дефиниция има пет части:
- Семантични уравнения
- Синтактични категории
- Семантични функции
- Backus нормална форма (BNF), определяща структурата на синтактичните категории
- Стойности на домейни
Денотационната семантика е разработена за съвременни езици, които имат функции като изключения и съвпадение. Една от важните характеристики на денотационната семантика е, че семантиката трябва да бъде композиционна, което означава, че обозначаването на програмна фраза може да бъде изградено от обозначенията на нейните под-фрази.
Има някои ясно изразени предимства, свързани с денотационната семантика. Това е най-лесният механизъм за описание на значението на по-малките програми в сравнение с други алтернативи. Денотационната семантика е в състояние да обясни състоянието в програмите. Денотационната семантика обаче е много сложна за описване на усъвършенствани функции като goto оператори и рекурсии.