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

В другом потоке Андрей Бауэр определил денотационную семантику как: значение программы является функцией значений ее частей. Что беспокоит меня в этом определении, так это то, что оно, кажется, не выделяет то, что обычно считается денотационной семантикой, из того, что принято считать неденотационной семантикой, а именно структурную операционную семантику . Точнее …

45 pl.programming-languages  big-picture  semantics  denotational-semantics 

Я читал « Семантику с приложениями » от Nielson & Nielson , и мне очень нравится эта тема. Я хотел бы иметь еще одну книгу по семантике языка программирования - но я действительно могу получить только одну. Я взглянул на книгу « Турбак / Гиффорд» , но она слишком многословна; …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Считайте, что этот вопрос решен. Я не буду выбирать лучший ответ, поскольку все они внесли свой вклад в мое понимание темы. Я не уверен, какую пользу мы получаем, формально определяя семантику логики предикатов. Но я вижу ценность в формальном доказательстве. Я хочу сказать, что нам не нужна формальная семантика для …

25 lo.logic  semantics 

Мне кажется, что макроязык, используемый может рассматриваться как некая система переписывания терминов или какой-то язык программирования с возможностью определения по имени.TEXTEX\TeX Даже современные реализации двигатель (например, X e TTEXTEX\TeX ) интерпретировать код довольно прямым способом, и я не знаю ни одной попытки оптимизировать выполнение (как это могут сделать современные оптимизирующие …

21 pl.programming-languages  semantics  term-rewriting-systems 

Я ищу учебный материал, который охватывает доказательства корректности компилятора, предпочтительно с использованием денотационных методов, на уровне начинающего аспиранта. В качестве альтернативы, вы знаете несколько простых примеров компилятора, которые я мог бы использовать для иллюстрации проблем? (Первым примером, который мне пришёл в голову, был переводчик с выражений из инфикса в постфикс. …

20 reference-request  pl.programming-languages  semantics  compilers 

В разделе « Семантика» Энтони Ааби «Введение в языки программирования» он делает следующее наблюдение: Большая часть работы в семантике языков программирования мотивируется проблемами, возникающими при попытке построить и понять императивные программы - программы с командами присваивания. Поскольку команда присваивания переназначает значения переменным, присваивание может иметь неожиданные последствия в удаленных частях …

19 imperative-programming  semantics  big-picture 

Я новичок в теории языков программирования и ищу хороший ресурс по формальной семантике языков программирования. Специально ищет структурную операционную семантику. Я получил несколько рекомендаций книги. Но я ищу ресурс на более начальном уровне. Особенно приветствуются учебники, веб-сайт и бесплатные книги.

17 reference-request  pl.programming-languages  semantics  formal-systems 

Я читаю «Реализацию языков функционального программирования» Саймона Пейтона Джонса, и есть одно утверждение, которое меня немного удивило (на странице 39): В гораздо большей степени, чем в случае императивных языков, функциональные языки в значительной степени являются синтаксическими вариациями друг друга с относительно небольшим количеством семантических различий. Теперь, это было написано в …

17 functional-programming  semantics  imperative-programming 

Существует ли какая-либо теория языков программирования, описывающая интерфейсы сторонних функций (FFI) и привязки к нескольким языкам? Я задал некоторые вопросы реализации на стеке потока , который здесь не подходит. Но я хотел бы спросить с точки зрения этого сайта и посмотреть, что я мог бы получить отсюда. Очень ценю ваш …

16 pl.programming-languages  semantics 

Усилия по проверке компилятора часто сводятся к тому, чтобы доказать, что компилятор полностью абстрактен: он сохраняет и отражает (контекстуальные) эквивалентности. Вместо того, чтобы предоставлять полные доказательства абстракции, некоторые недавние (основанные на категориях) работы по проверке компилятора Hasegawa [ 1 , 2 ] и Egger et. и др. [ 3 ] …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Q1. Когда можно сказать, что две программы (написанные на каком-то языке программирования, например C ++) различны? Первая крайность - сказать, что две программы эквивалентны, если они идентичны. Другой крайний случай - говорить, что две программы эквивалентны, если они вычисляют одну и ту же функцию (или демонстрируют одинаковое наблюдаемое поведение в …

15 pl.programming-languages  semantics  equivalence 

Отказ от ответственности : хотя я забочусь о теории типов, я не считаю себя экспертом по теории типов. В простом типе лямбда-исчисления нулевой тип не имеет конструкторов и уникального элиминатора: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} С денотационной точки зрения уравнение initial(M1)=initial(M2)initial(M1)=initial(M2)initial (M_1) = initial(M_2) очевидно …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

У меня есть вопрос относительно чистых функций. Согласно странице Википедии, один из необходимых компонентов для чистой функции: Оценка результата не вызывает какого-либо семантически наблюдаемого побочного эффекта или вывода, такого как мутация изменяемых объектов или вывод на устройства ввода-вывода. Теперь, что это действительно значит. Или, скорее, как я могу сделать побочный …

11 functional-programming  semantics 

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

10 pl.programming-languages  lambda-calculus  semantics 

Минимизация схемы - это проблема минимизации размера данной схемы. Есть ли что-нибудь подобное для общих программ? В частности, мой вопрос - Существуют ли алгоритмы, чтобы минимизировать количество инструкций для данной программы. Я знаю, что это неразрешимая проблема, но я не ищу решение, которое возвращает что-то оптимальное. Хотя для этого можно …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers