Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Введение в теорию языков программирования
Глава 1. Термы и отношения
Поставить закладку
1.1. Индуктивные определения
1.1.1. Теорема о неподвижной точке
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
От переводчиков
Что называют теорией языков программирования?
Благодарности
Глава 1. Термы и отношения
-
1.1. Индуктивные определения
1.1.1. Теорема о неподвижной точке
1.1.2. Индуктивные определения
1.1.3. Структурная индукция
1.1.4. Рефлексивно-транзитивное замыкание отношения
1.2. Языки
1.2.1. Языки без переменных
1.2.2. Переменные
1.2.3. Многосортные языки
1.2.4. Свободные и связанные переменные
1.2.5. Подстановка
1.3. Три способа задания семантики языка
1.3.1. Денотационная семантика
1.3.2. Операционная семантика с большим шагом
1.3.3. Операционная семантика с малым шагом
1.3.4. Незавершающиеся вычисления
Глава 2. Язык PCF
+
Глава 3. От вычисления к интерпретации
+
Глава 4. Компиляция
+
Глава 5. PCF с типами
+
Глава 6. Вывод типов
+
Глава 7. Ссылки и присваивание
+
Глава 8. Записи и объекты
+
Послесловие
Библиография
Предметный указатель
Данный блок поддерживает скрол*