Запитання з тегом «operational-semantics»

Під час обговорення сильних доказів нормалізації, цей коментар протиставляє "модель нормальних форм" з "суто синтаксичними методами". Це повертає мене до більш основного питання: чи можемо ми все-таки чітко розрізнити синтаксичні та семантичні конструкції, перед обличчям синтаксичних моделей? Що з терміновими моделями для алгебр, моделями Хенкіна для логіки першого порядку? А …

14 lo.logic  pl.programming-languages  operational-semantics 

На сторінці "Розширена схема: деякі неслухняні біти" зазначено: Продовження - це потужна конструкція керуючого потоку, з якої може бути отримана майже будь-яка інша структура управління потоком [...]. Я думав, що схеми call/cc, пов'язані (*) з оператором J Петра Ландіна, можуть бути використані для реалізації будь-якої відомої структури потоку управління? Маючи …

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Для підтвердження правильності я шукаю корисне поняття еквівалентності програми для систем чистого типу (BTS) Barendregt; цього не вистачає для досить специфічних систем. Моя мета - просто використовувати поняття, а не досліджувати його заради себе.≅≅\cong Це поняття повинно бути " розширеним " - зокрема, щоб довести, що , повинно бути достатньо, …

11 pl.programming-languages  type-theory  operational-semantics 

У семантиці мови програмування часто чують, що люди говорять про значення та позначення . Вони, здається, не однакові. Яка різниця? Чи пов’язаний перший з оперативною семантикою, а другий - з денотаційною семантикою? Дякую.

10 pl.programming-languages  semantics  denotational-semantics  operational-semantics