Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Введение в теорию языков программирования
Глава 4. Компиляция
Поставить закладку
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
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. Записи и объекты
+
Послесловие
Библиография
Предметный указатель
Данный блок поддерживает скрол*