Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Введение в теорию языков программирования
Глава 4. Компиляция
Предыдущая страница
Следующая страница
Table of contents
От переводчиков
Что называют теорией языков программирования?
Благодарности
Глава 1. Термы и отношения
+
Глава 2. Язык PCF
+
Глава 3. От вычисления к интерпретации
+
Глава 4. Компиляция
-
4.1. Интерпретатор, написанный на языке без функций
4.2. От интерпретации к компиляции
4.3. Абстрактная машина для PCF
4.3.1. Окружение
4.3.2. Замыкания
4.3.3. Конструкции PCF
4.3.4. Использование индексов де Брауна
4.3.5. Операционная семантика с малым шагом
4.4. Компиляция PCF
Глава 5. PCF с типами
+
Глава 6. Вывод типов
+
Глава 7. Ссылки и присваивание
+
Глава 8. Записи и объекты
+
Послесловие
Библиография
Предметный указатель
Данный блок поддерживает скрол*