Структура и интерпретация компьютерных программ

by Харольд Абельсон Джеральд Джей Сассман при участии Джули Сассман

  1. Построение абстракций с помощью процедур
    1. Элементы программирования
      1. Выражения
      2. Имена и окружение
      3. Вычисление комбинаций
      4. Составные процедуры
      5. Подстановочная модель применения процедуры
      6. Условные выражения и предикаты

        1.1 1.2 1.3 1.4 1.5

      7. Пример: вычисление квадратного корня методом Ньютона

        1.6 1.7 1.8

      8. Процедуры как абстракции типа «черный ящик»
    2. Процедуры и порождаемые ими процессы
      1. Линейные рекурсия и итерация

        1.9 1.10

      2. Древовидная рекурсия.

        1.11 1.12 1.13

      3. Порядки роста

        1.14 1.15

      4. Возведение в степень

        1.16 1.17 1.18 1.19

      5. Нахождение наибольшего общего делителя

        1.20

      6. Пример: проверка на простоту

        1.21 1.22 1.23 1.24 1.25 1.26 1.27 1.28

    3. Формулирование абстракций с помощью процедур высших порядков
      1. Процедуры в качестве аргументов

        1.29 1.30 1.31 1.32 1.33

      2. Построение процедур с помощью lambda

        1.34

      3. Процедуры как обобщенные методы

        1.35 1.36 1.37 1.38 1.39

      4. Процедуры как возвращаемые значения

        1.40 1.41 1.42 1.43 1.44 1.45 1.46

  2. Построение абстракций с помощью данных.
    1. Введение в абстракцию данных
      1. Пример: арифметические операции над рациональными числами
      2. Барьеры абстракции

        2.1 2.2 2.3

      3. Что значит слово «данные»?

        2.4 2.5 2.6

      4. Расширенный пример: интервальная арифметика

        2.7 2.8 2.9 2.10 2.11 2.12 2.13 2.14 2.15 2.16

    2. Иерархические данные и свойство замыкания
      1. Представление последовательностей

        2.17 2.18 2.19 2.20 2.21 2.22 2.23

      2. Иерархические структуры

        2.24 2.25 2.26 2.27 2.28 2.29 2.30 2.31 2.32

      3. Последовательности как стандартные интерфейсы

        2.33 2.34 2.35 2.36 2.37 2.38 2.39 2.40 2.41 2.42 2.43

      4. Пример: язык описания изображений

        2.44 2.45 2.46 2.47 2.48 2.49 2.50 2.51 2.52

    3. Символьные данные.
      1. Кавычки

        2.53 2.54 2.55

      2. Пример: символьное дифференцирование

        2.56 2.57 2.58

      3. Пример: представление множеств

        2.59 2.60 2.61 2.62 2.63 2.64 2.65 2.66

      4. Пример: деревья кодирования по Хаффману

        2.67 2.68 2.69 2.70 2.71 2.72

    4. Множественные представления для абстрактных данных
      1. Представления комплексных чисел
      2. Помеченные данные
      3. Программирование, управляемое данными, и аддитивность

        2.73 2.74 2.75 2.76

    5. Системы с обобщенными операциями
      1. Обобщенные арифметические операции

        2.77 2.78 2.79 2.80

      2. Сочетание данных различных типов

        2.81 2.82 2.83 2.84 2.85 2.86

      3. Пример: символьная алгебра

        2.87 2.88 2.89 2.90 2.91 2.92 2.93 2.94 2.95 2.96 2.97

  3. Модульность, объекты и состояние
    1. Присваивание и внутреннее состояние объектов
      1. Внутренние переменные состояния

        3.1 3.2 3.3 3.4

      2. Преимущества присваивания.

        3.5 3.6

      3. Издержки, связанные с введением присваивания

        3.7 3.8

    2. Модель вычислений с окружениями
      1. Правила вычисления
      2. Применение простых процедур

        3.9

      3. Кадры как хранилище внутреннего состояния.

        3.10

      4. Внутренние определения.

        3.11

    3. Моделирование при помощи изменяемых данных
      1. Изменяемая списковая структура.

        3.12 3.13 3.14 3.15 3.16 3.17 3.18 3.19 3.20

      2. Представление очередей

        3.21 3.22 3.23

      3. Представление таблиц

        3.24 3.25 3.26 3.27

      4. Имитация цифровых схем

        3.28 3.29 3.30 3.31 3.32

      5. Распространение ограничений

        3.33 3.34 3.35 3.36 3.37

    4. Параллелизм: время имеет значение
      1. Природа времени в параллельных системах

        3.38

      2. Механизмы управления параллелизмом

        3.39 3.40 3.41 3.42 3.43 3.44 3.45 3.46 3.47 3.48 3.49

    5. Потоки
      1. Потоки как задержанные списки

        3.50 3.51 3.52

      2. Бесконечные потоки

        3.53 3.54 3.55 3.56 3.57 3.58 3.59 3.60 3.61 3.62

      3. Использование парадигмы потоков

        3.63 3.64 3.65 3.66 3.67 3.68 3.69 3.70 3.71 3.72 3.73 3.74 3.75 3.76

      4. Потоки и задержанное вычисление

        3.77 3.78 3.79 3.80

      5. Модульность функциональных программ и модульность объектов

        3.81 3.82

  4. Метаязыковая абстракция
    1. Метациклический интерпретатор
      1. Ядро интерпретатора

        4.1

      2. Представление выражений

        4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 4.10

      3. Структуры данных интерпретатора

        4.11 4.12 4.13

      4. Выполнение интерпретатора как программы.

        4.14

      5. Данные как программы

        4.15

      6. Внутренние определения.

        4.16 4.17 4.18 4.19 4.20 4.21

      7. Отделение синтаксического анализа от выполнения

        4.22 4.23 4.24

    2. Scheme с вариациями: ленивый интерпретатор
      1. Нормальный порядок вычислений и аппликативный порядок вычислений

        4.25 4.26

      2. Интерпретатор с ленивым вычислением

        4.27 4.28 4.29 4.30 4.31

      3. Потоки как ленивые списки.

        4.32 4.33 4.34

    3. Scheme с вариациями — недетерминистское вычисление
      1. Amb и search

        4.35 4.36 4.37

      2. Примеры недетерминистских программ

        4.38 4.39 4.40 4.41 4.42 4.43 4.44 4.45 4.46 4.47 4.48 4.49

      3. Реализация amb-интерпретатора

        4.50 4.51 4.52 4.53 4.54

    4. Логическое программирование
      1. Дедуктивный поиск информации

        4.55 4.56 4.57 4.58 4.59 4.60 4.61 4.62 4.63

      2. Как действует система обработки запросов
      3. Является ли логическое программирование математической логикой? 425

        4.64 4.65 4.66 4.67 4.68 4.69

      4. Реализация запросной системы
        1. Управляющий цикл и конкретизация
        2. Вычислитель
        3. Поиск утверждений с помощью сопоставления с образцом
        4. Правила и унификация
        5. Ведение базы данных

          4.70

        6. Операции над потоками
        7. Процедуры, определяющие синтаксис запросов
        8. Кадры и связывания

          4.71 4.72 4.73 4.74 4.75 4.76 4.77 4.78 4.79

  5. Вычисления на регистровых машинах
    1. Проектирование регистровых машин

      5.1

      1. Язык для описания регистровых машин

        5.2

      2. Абстракция в проектировании машин

        5.3

      3. Подпрограммы
      4. Реализация рекурсии с помощью стека

        5.4 5.5 5.6

      5. Обзор системы команд
    2. Программа моделирования регистровых машин

      5.7

      1. Модель машины
      2. Ассемблер

        5.8

      3. Порождение исполнительных процедур для команд

        5.9 5.10 5.11 5.12 5.13

      4. Отслеживание производительности машины

        5.14 5.15 5.16 5.17 5.18 5.19

    3. Выделение памяти и сборка мусора
      1. Память как векторы

        5.20 5.21 5.22

      2. Иллюзия бесконечной памяти
    4. Вычислитель с явным управлением
      1. Ядро вычислителя с явным управлением
      2. Вычисление последовательностей и хвостовая рекурсия
      3. Условные выражения, присваивания и определения

        5.23 5.24 5.25

      4. Запуск вычислителя

        5.26 5.27 5.28 5.29 5.30

    5. Компиляция
      1. Структура компилятора.

        5.31 5.32

      2. Компиляция выражений
      3. Компиляция комбинаций
      4. Сочетание последовательностей команд
      5. Пример скомпилированного кода

        5.33 5.34 5.35 5.36 5.37 5.38

      6. Лексическая адресация

        5.39 5.40 5.41 5.42 5.43 5.44

      7. Связь скомпилированного кода с вычислителем

        5.45 5.46 5.47 5.48 5.49 5.50 5.51 5.52