Видеолекции курса Языки программирования и компиляторы

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

Лектор: Дмитрий Булычев.

Литература по курсу:

1. S.Muchnik. Advanced Compiler Design & Implementation. Academic Press, Morgan Kaufmann, 1998.
2. А.Ахо, Р.Сети, С.Ульман. Компиляторы: принципы, технологии, инструменты. Вильямс, 2003.
3. А.Ахо, С.Ульман. Теория синтаксического анализа, перевода и компиляции. Том 1. М., "Мир", 1978.
4. F.Nielsen. Principles of Program Analysis. Springer, 2005.
5. F.Nielse, H-R.Nielsen. Semantics with Applications. Wiley Professional Computing, 1992.
6. B.Pierce. Types and Programming Languages. MIT Press, 2002.
7. T.Пратт. Языки программирования: разработка и реализация. 1978.
8. Б.К.Мартыненко. Языки и трансляции. Из-во СПбГУ, 2008.

Лекция 1. Введение.
Языки программирования, синтаксис, семантика, прагматика. Когнитивные особенности человеческого мышления и их влияние на развитие языков программирования. Языки программирования в ретроспективе. Процедурное, объектно-ориентированное, логическое и функциональное программирование. Предметно-ориентированные языки. Языки вне классификации. Абстрактный и конкретный синтаксис. Статическая и динамическая семантика.

Посмотреть видео на сайте Лекториума


Лекция 2.
Компиляция и интерпретация. Смешанные вычисления. Проекции Футамуры-Ершова.

Посмотреть видео на сайте Лекториума


Лекция 3. Операционная семантика большого шага.

Посмотреть видео на сайте Лекториума


Лекция 4. Операционная семантика малого шага.

Посмотреть видео на сайте Лекториума


Лекция 5.
Свойства семантик большого и малого шага. Структурная индукция. Эквивалентность семантик. Разная выразительная сила семантик большого и малого шагов.

Посмотреть видео на сайте Лекториума


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

Лекция 7.
Статическая семантика. Замкнутые программы; свободные программы. Неразрешимость проблемы свободы. Живые переменные и достигающие определения.

Лекция 8.
Элементарная типизация в виде статической семантики большого шага. Полурешетка типов, решение задачи типизации на основе достигающих определений.

Лекция 9.

Посмотреть видео на сайте Лекториума