Вопросы с тегом «operational-semantics»

При обсуждении строгих доказательств нормализации этот комментарий противопоставляет «модель нормальных форм» «чисто синтаксическим методам». Это возвращает меня к более основному вопросу: можем ли мы по-прежнему строго различать синтаксические и семантические конструкции перед лицом моделей, основанных на синтаксисе? А как насчет терминов для алгебр, моделей Хенкина для логик первого порядка? Как …

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

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

13 lambda-calculus  denotational-semantics  scheme  operational-semantics 

Для доказательства корректности я ищу пригодное для использования понятие эквивалентности программы для систем чистого типа (PTS) Барендрегта; не хватает этого, для достаточно специфических систем типов. Моя цель - просто использовать это понятие, а не исследовать его ради самого себя.≅≅\cong Это понятие должно быть « экстенсиональным » - в частности, чтобы …

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

В программировании семантики языка, он часто слышал , что люди говорят о означая и денотат . Кажется, они не одинаковы. В чем разница? Связано ли первое с операционной семантикой, а второе - с денотационной семантикой? Спасибо.

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