Вопросы с тегом 'denotational-semantics'

Денотационная семантика - это подход формализации значений языков программирования путем построения математических объектов (называемых денотаций), которые описывают значения выражений из языков. Источник: Википедия
7 отв.

"Какую часть Хиндли-Милнера вы не понимаете?"

Клянусь, когда-то была футболка для продажи с бессмертными словами: Какая часть ты не понимаешь? В моем случае ответ будет... все это! В частности, я часто вижу такие обозначения в документах Haskell, но я не знаю, что это значит. Я понятия не...
21 сент. '12 в 17:29
1 отв.

Что происходит с написанием функции отображения денотационной семантики?

Я немного запутался в концепции денотационной семантики. Насколько я понимаю, денотационная семантика должна описывать, как функции и выражения работают на определенном языке программирования. Какая именно форма используется для описания этих функций...
15 окт. '13 в 23:12
1 отв.

Что такое семантика двигателя интерпретатора Gecko Javascript?

Изменить В ответ на ответ ответ ниже относительно ссылка Спецификация языка ECMAScript - 11.13.2 Составное задание Учитывая, почему они, javascript: o=""; o = o + (o+=1) ; alert(o); o=""; o = (o+=1) + o; alert(o); НЕ совпадают. С...
16 апр. '11 в 23:03
1 отв.

Haskell "оценивает" сокращение до нормального или WHNF?

Я понимаю (я думаю), что Haskell seq, будет (обычно) уменьшить его первый аргумент WHNF, и посмотрите, как это происходит в GHCi: λ> let x = (trace "foo" Foo (trace "bar" Bar 100)) in seq x 0 foo 0 Однако, хотя документация для evaluate говор...
12 окт. '15 в 17:46
1 отв.

Проверка завершения в функциональных программах

Существуют ли функциональные языки, которые могут указать в методе typechecker, гарантируется ли завершение определенного вычисления? Или вы можете сделать это только в Haskell? Что касается Haskell, в этом ответе, плакат говорит, что Обычный сп...
18 окт. '13 в 20:10
1 отв.

Написание программы haskell для вычисления денотационной семантики императивного языка программирования

Я пытаюсь написать программу в Haskell для вычисления денотационной семантики императивной языковой программы с целыми переменными, одномерными (целыми) массивами и функциями. Функция, с которой я начинаю, имеет тип: progsem :: Prog -> State ...
04 дек. '13 в 22:10
2 отв.

Что такое денотационная семантика?

Я ищу точное и понятное определение. Те, которые я нашел, отличаются друг от друга: Из книги по функциональному реактивному программированию Денотационная семантика - математическое выражение формального значения языка программирования. Однако ви...
20 июля '16 в 21:24
1 отв.

Как обозначить семантику синтаксиса?

Я пишу спецификацию языка, и мне нужен следующий рудиментарный вопрос. Предположим, что у меня есть (правда, надуманный) абстрактный синтаксис: <A> ::= <B> | <C> <B> ::= 1 | 2 | 3 <C> ::= 4 | 5 | 6 Как выглядит денота...
11 апр. '13 в 19:18
1 отв.

Денотационная семантика, доказывающая, что итерация с фиксированной точкой приводит к наименьшей фиксированной точке

Я работаю над секцией Haskell wikibook по денотационной семантике, и я как бы застрял в этом упражнении: Докажите, что неподвижная точка, полученная итерацией с фиксированной точкой, начиная с , также является наименьшей, что она меньше любой друг...
01 окт. '15 в 15:42
1 отв.

Как добавить абстракции функций и процедур к денотационной семантике с использованием haskell?

Я хочу написать программу на Haskell для реализации простого императивного языка, основанного на его денотационной семантике. Я использую GHCi, версия 8.4.2 на Windows. Я столкнулся с некоторой проблемой при реализации абстракции функции и процедуры...
31 янв. '19 в 5:39
0 отв.

Формальная проверка с использованием денотационной семантики?

Это может пойти на обмен стеками cs или cstheory, но я видел большинство вопросов, отмеченных формальной проверкой здесь. Существует ли обширная литература по использованию денотационной семантики для проверки программы? С быстрым поиском я нашел ...
13 янв. '16 в 17:50
0 отв.

Денотационная семантика N-итерационного цикла

Мне нужно найти расширение языка While, как описано в книге Nielson & Nielson, которая включает в себя N итерационных циклов. Это не цикл for с счетчиком, а цикл, выполняющий n раз заданное предложение, если n является целым числом больше 0. У ...
28 июня '18 в 12:40