Абельсон Гарольд, Сассман Джеральд Джей, Сассман Джули. Структура и интерпретация компьютерных программ

М.: Добросвет, 2006. — 608 с.Книга посвящена описанию различных систем программного синтаксиса, анализу перехода от набора алгоритмов к программному коду. Значительное место уделяется обсуждению набора элементарных программ, использующихся в качестве элементов конструкции программ более высоких уровней сложности, оптимизации соотношения их веса и эффективности. Особое внимание авторы уделяют анализу проблемы взаимодействия компьютера как физического объекта и программного кода, обеспечивающего информационную составляющую вычисления. Книга будет полезна всем, кому приходится иметь дело с программированием, в том числе и в гуманитарных областях знания.Классика программирования от преподавателей MIT. Студенты этого небезызвестного учебного заведения начинают своё знакомство с программированием именно с этой книги.Построение абстракций с помощью процедур.
Элементы программирования.
Процедуры и порождаемые ими процессы.
Формулирование абстракций с помощью процедур высших порядков.
Построение абстракций с помощью данных.
Введение в абстракцию данных.
Иерархические данные и свойство замыкания.
Символьные данные.
Множественные представления для абстрактных данных.
Системы с обобщенными операциями.
Модульность, объекты и состояние.
Присваивание и внутреннее состояние объектов.
Модель вычислений с окружениями.
Моделирование при помощи изменяемых данных.
Параллелизм: время имеет значение.
Потоки.
Метаязыковая абстракция.
Метациклический интерпретатор.
Scheme с вариациями: ленивый интерпретатор.
Scheme с вариациями — недетерминистское вычисление.
Логическое программирование.
Вычисления на регистровых машинах.
Проектирование регистровых машин.
Программа моделирования регистровых машин.
Выделение памяти и сборка мусора.
Вычислитель с явным управлением.
Компиляция.