Поиск

Закладки

Озвучивание недоступно

Озвучить книгу

Изменить режим чтения

Изменить размер шрифта

Оглавление

Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Введение в теорию языков программирования

Глава 5. PCF с типами

Предыдущая страница

Следующая страница

Table of contents

От переводчиков

Что называют теорией языков программирования?

Благодарности

Глава 1. Термы и отношения +

Глава 2. Язык PCF +

Глава 3. От вычисления к интерпретации +

Глава 4. Компиляция +

Глава 5. PCF с типами -

5.1.1. PCF с типами

5.1.2. Отношение типизации

5.2. Отсутствие ошибок во время выполнения

5.2.1. Использование операционной семантики с малым шагом

5.2.2. Использование операционной семантики с большим шагом

5.3. Денотационная семантика для PCF с типами

5.3.1. Тривиальная семантика

5.3.2. Завершаемость

5.3.3. Отношение порядка Скотта

5.3.4. Семантика неподвижной точки

Глава 6. Вывод типов +

Глава 7. Ссылки и присваивание +

Глава 8. Записи и объекты +

Послесловие

Библиография

Предметный указатель

Данный блок поддерживает скрол*