Запитання з тегом «compilers»

Я шукаю матеріал підручника, який охоплює докази коректності компілятора, бажано з використанням денотаційних методів, на рівні студента початкового класу. Або ви знаєте кілька простих прикладів компілятора, які я міг би використати для ілюстрації проблем? (Перший приклад, який мені трапився, - це перекладач з виразів на інфікс на постфікс. Але не …

20 reference-request  pl.programming-languages  semantics  compilers 

Дефункціоналізація - це програмне перетворення, яке перетворює програми вищого порядку в програми першого порядку. Ідея полягає в тому, що в даній програмі існує лише кінцево багато лямбда-абстракцій, тож ви можете замінити кожну лямбда на ідентифікатор, а кожну функціональну програму викликом до процедури застосування, яка розгалужується на цей ідентифікатор. Це іноді …

15 pl.programming-languages  compilers 

Мене цікавить оптимізація графіків потоку даних та керуючих потоків, зокрема, більш обчислювально складних. Але також буде цікаво дізнатися про новітні винаходи в області оптимізацій маточок.

14 optimization  compilers 

У дослідницькій заяві Дж. М. Сіскіндза зазначено: Сталін - це оптимізуючий компілятор для Схеми, який виконує статичний аналіз загальнопрограми та використовує результати цього аналізу для створення надзвичайно ефективного коду. Сталін використовує велику колекцію методик статичного аналізу. Він виконує нову форму поліваріантного аналізу потоку, яка використовує ітераційний аналіз моноваріантного потоку для …

14 compilers 

Теорія компілятора, здається, є досить перевіреною темою. Які якісь відкриті проблеми чи сучасні дослідження відбуваються у цій галузі?

13 soft-question  big-list  open-problem  compilers 

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

12 type-systems  compilers  dependent-type 

Мінімізація схем - це проблема мінімізувати розмір заданої ланцюга. Чи є щось подібне для загальних програм? Зокрема, моє запитання - Чи існують алгоритми, щоб мінімізувати кількість інструкцій для даної програми. Я знаю, що це нерозв'язна проблема, але я не шукаю рішення, яке поверне щось оптимальне. Хоча для цього можна застосувати …

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

Я пишу магістерську роботу в КС і працюю з аналізом псевдонімів. Мене цікавить те, що це внутрішньопроцедурний, чутливий до потоку аналіз обов'язкових і псевдонімів для язиків, схожих на 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