Struktur und Interpretation von Computerprogrammen

Diese Einführung in die Informatik ist am renommierten Massachusetts Institute of Technology (MIT) entstanden und repräsentiert den dortigen Ausbildungsstandard für Studenten der Informatik und der Elektrotechnik. Das in der neuen Auflage sorgfältig überarbeitete und erweiterte Buch ist weltweit und v.a. auch in der vorliegenden deutschen Übersetzung eine beliebte Grundlage für die Einführungsvorlesung."Das Buch sollte von jedem ernsthaften Informatiker gelesen werden. Durch seine Klarheit, Einfachheit und Brillanz ist dieses Werk jedem zu empfehlen, der die modernen Paradigmen der Informatik verstehen möchte." (Mitchell Wand, 'American Scientist')

1 Konstruktion von Abstraktionen mit Prozeduren.- 1.1 Die Programmelemente.- 1.2 Prozeduren und Prozesse.- 1.3 Abstraktionen mit Prozeduren höherer Ordnung.- 2 Konstruktion von Abstraktionen mit Daten.- 2.1 Einführung in die Datenabstraktion.- 2.2 Datenhierarchien und Abgeschlossenheit.- 2.3 Symbole.- 2.4 Mehrfachdarstellungen abstrakter Daten.- 2.5 Systeme mit generischen Operationen.- 3 Modularität, Objekte und Zustände.- 3.1 Zuweisungen und lokale Zustände.- 3.2 Das Umgebungsmodell der Auswertung.- 3.3 Modelle mit veränderbaren Daten.- 3.4 Gleichzeitigkeit: Zeit ist das Wesentliche.- 3.5 Datenströme.- 4 Metalinguistische Abstraktion.- 4.1 Der metazirkuläre Evaluator.- 4.2 Variationen zu einem Schema - Auswertung nach Vorschrift.- 4.3 Variationen zu einem Schema - nondeterministische Berechnung.- 4.4 Logikprogrammierung.- 5 Rechnen mit Registermaschinen.- 5.1 Entwurf von Registermaschinen.- 5.2 Ein Simulator für Registermaschinen.- 5.3 Speicherzuteilung und Speicherbereinigung.- 5.4 Der Evaluator mit expliziter Steuerung.- 5.5 Übersetzen.- Appendix zur deutschen Auflage.- Verzeichnis der Übungen.- Stichwortverzeichnis.