Материалы спецкурсов

Материалы спецкурса "Основы методов трансляции"

Полугодовой спецкурс предназначен для студентов 3-6 курсов ММФ НГУ. Основной целью является изучение теории трансляции программ и практических аспектов построения трансляторов. В курсе рассматриваются все фазы преобразования программы от исходного текста до внутреннего представления; различные типы трансляторов; теория синтаксического разбора, подходы к обработке ошибок и проверка типов;

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

Программа курса и список вопросов к экзамену.

Лекция 1. Языки и трансляторы

Лекция 2. Формальные языки и способы их задания

Лекция 3. Распознавание формальных языков

Лекция 4. Распознавание формальных языков: лексический анализ.

Лекция 5. Распознавание формальных языков: нисходящий синтаксический анализ.

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

Материалы спецкурса "Методы оптимизирующей компиляции"

Полугодовой спецкурс предназначен для студентов 3-6 курсов ММФ НГУ. Основной целью является изучение теории оптимизирующей компиляции и практических аспектов построения компиляторов. В курсе рассматриваются как классические подходы к оптимизации программ, так и современные методы эффективной реализации языков программирования, в том числе оптимизация объектно-ориентированных программ и построение высокопроизводительных сред исполнения.

Программа курса

Лекция 1. Понятие оптимизирующего преобразования. Виды оптимизаций. Оптимизирующие компиляторы.

Лекция 2. Внутренние представления программ.

Лекция 3. Статический потоковый анализ.

Лекция 4. Машинно-независимые оптимизации.

Лекция 5. Система поддержки времени исполнения

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