Статическая семантика и её реализация при левоатрибутном анализе. Определенность переменных, простейший анализ типов
Понедельник, 28 октября 2013
ФМЛ 239, Актовый зал
Список тем / 11 записей
1.
Языки программирования, синтаксис, семантика, прагматика
2.
Компиляция и интерпретация
3.
Cинтаксический анализ. Нисходящий синтаксический анализ
4.
Нисходящий анализ (продолжение)
5.
Лексический анализ. Восходящий анализ
6.
Алгоритм Кока-Янгера-Касами. Контекстные зависимости в языках программирования. Атрибутные грамматики
7.
Динамическая семантика языков программирования. Реализация простейшего однопроходного компилятора с применением левоатрибутного анализа
8.
Статическая семантика и её реализация при левоатрибутном анализе. Определенность переменных, простейший анализ типов
9.
Окружение программы
10.
Экзистенциальные типы и абстрактные типы данных
11.
Лекция