Вы здесь

Статический анализ и оптимизация кода в Glasgow Haskell Compiler

Лекция
Партнёр:
Предмет:
Лектор:
Конференция:
Дата записи:
12.12.12
Дата публикации:
12.12.12
Код для блога:

Встреча FProg 2012–12.

Glasgow Haskell Compiler – самый популярный из существующих компиляторов языка программирования Haskell, в котором реализованы многочисленные оптимизации кода путём переписывания программ. Корректность такого переписывания опирается на результаты статических анализов, также производимых компилятором и предваряющих трансформации.

В этом докладе рассказано про реализацию и теоретические основы наиболее интересных статических анализов, реализованных в GHC: анализа строгости (strictness analysis), использования (usage analysis) и явного построения структуры (constructed product result), а также приведены примеры использования выведенных результатов для построения оптимизаций. В рамках доклада сделан краткий обзор GHC pipeline, с акцентом на языке промежуточного представления Core, служащим платформой для анализов и трансформаций. Наконец, описан основной инструментарий из элементарной теории доменов, необходимой для формулировки и доказательства корректности анализов.

Лекция снята студией Лекториум по заказу JetBrains.

Информация о лекции на сайте FProg 2012-12

Дополнительные материалы: 
Иконка PDF 1357226034_14159_fprog12-slides-sergey-121213060658-phpapp01.pdf

Другие лекции конференции

1