Описание тега formal-semantics

Описание тега Вопросы с тегом
In programming language theory, semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages. It does so by evaluating the meaning of syntactically legal strings defined by a specific programming language, showing the computation involved. In such a case that the evaluation would be of syntactically illegal strings, the result would be non-computation.
0 ответов

Формализуйте следующее требование в логике высказываний, используя подходящие высказывания для компонентных утверждений.

Процесс a или процесс b входит в критическую секцию, но не одновременно. Если это произойдет (то есть они одновременно входят в критическую секцию), будет выполнено прерывание. р = обработать q = процесс б r = критическая секция оператор ∨ = или опе…
06 дек '15 в 15:31
3 ответа

Является ли статический анализ действительно формальной проверкой?

Я читал о формальной проверке, и суть в том, что для работы требуются формальная спецификация и модель. Однако многие источники классифицируют статический анализ как метод формальной проверки, некоторые упоминают абстрактную интерпретацию и упоминаю…
21 фев '16 в 07:22
6 ответов

Есть ли универсальная модель для языков?

Многие языки программирования имеют общие и даже довольно универсальные функции. Например, если вы сравнили Java, VB6, .NET, PHP, Python, то вы найдете общие функции, такие как управляющие структуры, числовые и строковые манипуляции и т. Д. Что было…
13 апр '10 в 16:39
1 ответ

Добавление переменных / типов в среду ввода

У меня есть среда, которая содержит набор токенов, с которыми я уже сталкивался; когда я смотрю на новый токен, я хочу добавить этот токен в текущую среду. По сути, я хочу выразить операцию объединения-объединения в среде, в которой я выполняю анали…
24 июл '12 в 22:14
4 ответа

Каковы точные правила автоматической разыменования в Rust?

Я изучаю / экспериментирую с Rust, и при всей элегантности, которую я нахожу в этом языке, есть одна особенность, которая сбивает меня с толку и кажется совершенно неуместной. Rust автоматически разыменовывает указатели при вызове метода. Я сделал н…
14 фев '15 в 20:31
0 ответов

Как использовать формальную семантику в программировании?

Я знаю буквальное определение формальной семантики и знаю некоторую разницу между формальной семантикой и неформальной. Но я обнаружил, что в программировании нет общего использования формальной семантики. Хотя я мог бы представить небольшое примене…
06 апр '12 в 07:32
5 ответов

Формальная семантика PHP?

Мне поручено изучать PHP, но есть много вещей, которые я не понимаю. Например, концепция "переменных функций" - не та, которую я видел где-либо еще. Есть много других примеров, но для краткости я нашел PHPWTF, в котором есть много примеров специфиче…
15 дек '13 в 14:39
4 ответа

Что такое "формальная семантика"?

Я читаю очень глупую статью, и она продолжает говорить о том, как Джотто определяет "формальную семантику". Giotto имеет формальную семантику, которая определяет значение переключателей режимов, взаимодействия между задачами и взаимодействия с прогр…
28 фев '10 в 23:27
1 ответ

В чем разница между семантикой и концепцией?

Интересно, в чем разница между семантикой и концепцией? Возможно ли, что язык показывает понятия, но не семантический? Возможно ли моделирование концепции с использованием синтаксиса языка? Доза UML Показать conpet и семантику системы? Спасибо ID за…
29 июл '14 в 09:31
1 ответ

Как определить переводчик выражений?

Я определил 2 почти идентичных языка (foo и bar): theory SimpTr imports Main begin type_synonym vname = "string" type_synonym 'a env = "vname ⇒ 'a option" datatype foo_exp = FooBConst bool | FooIConst int | FooLet vname foo_exp foo_exp | FooVar vnam…
10 июл '17 в 12:20
2 ответа

Термин "контекст" в языках программирования и как контекст влияет на загрузку и обновление?

Что означает термин контекст в контекстно-свободных и контекстно-зависимых языках? Может ли переменная иметь несколько контекстов? Если мне нужно сохранить определенное значение в определенном адресе памяти, как это влияет на контекст адреса памяти?…
19 ноя '11 в 19:46
1 ответ

PLT Redex: параметризация определения языка

Это проблема, которая беспокоит меня в течение некоторого времени, и мне интересно, может ли кто-нибудь здесь помочь. У меня есть модель PLT Redex для языка, называемого lambdaLVar, который является более или менее нетипизированным лямбда-исчисление…
03 апр '13 в 23:43
1 ответ

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

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

Являются ли денотационные семантические отображения разрешимыми?

Извиняюсь за плохое выражение этого вопроса, я не уверен, что у меня есть словарный запас, чтобы задать его соответствующим образом. Я написал (совсем недавно) что-то похожее на ⟦let x = x in x⟧ = ⊥ но на самом деле я не могу понять что-то хитрое зд…
05 фев '13 в 22:30
3 ответа

Почему я не могу вызвать (нестатическую) лемму из призрачного поля в Дафни?

На Дафни, lemma реализован в виде ghost methodТаким образом, это полезно только для спецификации. Тем не менее, вы не можете вызвать лемму из ghost field, как это: class A { var i: int; lemma sum_is_commutative(i: int, j: int) ensures i + j == j + i…
22 окт '18 в 11:04
3 ответа

Семантика для скриптов Bash?

Больше, чем любой другой язык, который я знаю, я "выучил" Bash с помощью Google, каждый раз, когда мне нужно что-то маленькое. Следовательно, я могу комбинировать маленькие сценарии, которые, кажется, работают. Тем не менее, я не знаю, что происходи…
21 апр '14 в 22:32
1 ответ

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

Учитывая инвариант цикла, Википедия перечисляет, хороший способ создать самые слабые предварительные условия для цикла (из http://en.wikipedia.org/wiki/Predicate_transformer_semantics): wp(while E inv I do S, R) = I \wedge \forall y. ((E \wedge I) \…
11 окт '14 в 19:26
0 ответов

Что делает эта семантика?

Я изучаю семантику с помощью языка программирования While в моем университете. Документ: Глава 3 Пока язык программирования. Хиларский семестр 2012 Вот учебное заведение со ссылкой здесь Вопрос: я не понимаю, что страница 4 пытается объяснить, в это…
24 фев '19 в 21:23
1 ответ

Какова семантика движка Geavo для интерпретатора Javascript?

редактировать Принимая во внимание ответный ответ ниже относительно справочной спецификации языка ECMAScript -11.13.2 Назначение составных частей Учитывая, почему это, javascript: o=""; o = o + (o+=1) ; alert(o); o=""; o = (o+=1) + o; alert(o); не т…
16 апр '11 в 20:03
1 ответ

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

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