Семантика: відмінності між версіями
| [перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
уточнення, вікіфікація |
Немає опису редагування |
||
Рядок 75:
* [[Операційна семантика]]: Значення конструкції мови визначається обчисленнями які вона провокує під час виконання на машині. Фокусом цієї семантики є ''як'' отримується результат обчислень.
* [[Денотаційна семантика]]: Значення моделюються математичними об'єктами які представляють ефекти обчислення конструкцій. Таким чином в фокусі є лише результат, а не те як його було отримано.
* [[Аксіоматична семантика]]: Задає властивості ефекту виконання конструкцій, у форматі припущень. Таким чином деякі аспекти виконання можуть
=== Семантичні моделі ===
| |||