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

14
Можем ли мы различать строго синтаксические и семантические методы в языке программирования?

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

13
Может ли вызов / cc Схемы реализовать все известные структуры потока управления?

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

11
Для каких языков уже существует теория наблюдательной эквивалентности?

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

10
В чем разница между значением и обозначением?

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