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

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

20 reference-request  pl.programming-languages  semantics  compilers 

Дефункционализация - это программная трансформация, которая преобразует программы высшего порядка в программы первого порядка. Идея состоит в том, что для данной программы существует только конечное число лямбда-абстракций, поэтому вы можете заменить каждую лямбду идентификатором, а каждое приложение функции - вызовом процедуры apply, которая разветвляется на этот идентификатор. Это иногда используется …

15 pl.programming-languages  compilers 

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

14 optimization  compilers 

В заявлении Дж. М. Сискинда говорится: Сталин - оптимизирующий компилятор для Scheme, который выполняет статический анализ всей программы и использует результаты этого анализа для генерации чрезвычайно эффективного кода. Сталин использует большой набор методов статического анализа. Он выполняет новую форму поливариантного анализа потока, в котором используется итеративный моновариантный анализ потока для …

14 compilers 

Теория компилятора, кажется, довольно проверенная тема. Какие открытые проблемы или текущие исследования происходят в этой области?

13 soft-question  big-list  open-problem  compilers 

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

11 type-systems  compilers  dependent-type 

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

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

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

10 reference-request  pl.programming-languages  compilers  program-analysis 

Меня интересуют проверенные компиляторы, формализованные в теории типов Мартина-Лёфа, т.е. Coq / Agda. На данный момент я написал небольшой игрушечный пример. Тем самым я могу доказать, что мои оптимизации верны. Например, могут быть исключены дополнения с нуля, например, выражения типа «x + 0». Существуют ли оптимизации, которые сложно выполнить с …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers 

Насколько я знаю, функция Haskell с ограничениями классов типов внутренне компилируется в функцию с дополнительными аргументами, которые получают словари с необходимыми реализациями каждого конкретного класса типов. Есть ли другие возможности, как скомпилировать классы типов? Если да, каковы их (не) преимущества? И какие компиляторы их используют?

9 pl.programming-languages  functional-programming  compilers  type-systems