Autor: Harold Abelson, Gerald Jay Sussman, Julie Sussman

ISBN: 83-204-2712-6

Ilość stron: 647

Data wydania: 2002

Twarda oprawa

W świecie informatycznym książka ta jest uważana za najlepszy podręcznik do wykładu „Wstęp do programowania”. Autorzy wyraźnie dają do zrozumienia, że programy pisze się nie tylko po to, by je wykonywać, ale także po to, by je czytać, modyfikować i rozwijać.

Sztuki programowania nie należy uczyć się przez poznanie składni danego języka programowania czy wyrafinowanych algorytmów, czy wreszcie matematycznej analizy programów, a raczej przez poznanie technik kontroli złożoności dużych systemów oprogramowania. Swoje podejście do nauki programowania przedstawiają za pomocą języka funkcyjnego Scheme, a nie tak dziś modnego języka obiektowego, na przykład C++.

Omawiają abstrakcje, w tym zasady łączenia procedur i danych w twory wyższego rzędu, modularność, obiekty i stan. Przedstawiają abstrakcję metajęzykową. Opisują zagadnienia związane z konstrukcją ewaluatorów i programowaniem w logice. Sporo miejsca poświęcają użyciu maszyn rejestrowych. Rozważania teoretyczne popierają licznymi, doskonale dobranymi, przykładami. Zamieszczają też wiele zadań do samodzielnego rozwiązania.

Książka "Struktura i interpretacja programów komputerowych" jest przeznaczona dla studentów informatyki i matematyki na uczelniach wyższych.

Rozdziały:

- Budowanie abstrakcji za pomocą procedur

- Budowanie abstrakcji za pomocą danych

- Modularność, obiekty i stany

- Abstrakcja metajęzykowa

- Obliczenia z użyciem maszyn rejestrowych

- Literatura

- Wykaz ćwiczeń

- Skorowidz