
Struktur und Interpretation von Computerprogrammen
Eine Informatik-Einführung
J. Sussman(Co-Author)
Springer (Publisher)
3rd Edition
Published on 17. November 1998
Book
Paperback/Softback
XXIII, 682 pages
978-3-540-63898-8 (ISBN)
Article exhausted; check for reprint
Description
Die Neuauflage der bewahrten und weltweit in der Lehre eingesetzten Einfuhrung in die Informatik, entstanden am renommierten Massachusetts Institute of Technology (MIT), wurde sorgfaltig uberarbeitet und insbesondere um verschiedene Ansatze erweitert, die die Zeit in Rechenmodellen berucksichtigen: Zustandsobjekte, nebenlaufige Programmierung, funktionale Programmierung und verzogerte Auswertung (lazy evaluation) sowie nichtdeterministische Programmierung. Hinzu kommen neue Beispiele und Ubungen zu Prozeduren hoherer Ordnung in der Computergraphik und zu Anwendungen der Datenstromorganisation in der numerischen Programmierung. Als Programmiersprache wird SCHEME verwendet, ein Dialekt von LISP. Alle Programme laufen in jeder dem IEEE-Standard entsprechenden SCHEME-Implementierung.
Reviews / Votes
"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')More details
Series
Edition
3., überarb. Aufl.
Language
German
Place of publication
Heidelberg
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Edition type
Revised edition
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
920 gr
ISBN-13
978-3-540-63898-8 (9783540638988)
DOI
10.1007/978-3-642-97727-5
Schweitzer Classification
Other editions
New editions

Harold Abelson | Gerald Jay Sussman | Joseph S. Sussman
Struktur und Interpretation von Computerprogrammen
Eine Informatik-Einführung
Book
09/2001
4th Edition
Springer
€44.99
Shipment within 10-15 days
Additional editions

Harold Abelson | Gerald J. Sussman | J. Sussman
Struktur und Interpretation von Computerprogrammen
Eine Informatik-Einführung
E-Book
03/2013
3rd Edition
Springer
€36.99
Available for download
Previous edition

Harold Abelson | Gerald J. Sussman | J. Sussman
Struktur und Interpretation von Computerprogrammen
Eine Informatik-Einführung
Book
07/1993
2nd Edition
Springer
€49.99
Article exhausted; check for reprint
Persons
Author
Co-Author
Preface
Translation
Content
1 Konstruktion von Abstraktionen mit Prozeduren.- 1.1 Die Programmelemente.- 1.1.1 Ausdrücke.- 1.1.2 Namen und Umgebungen.- 1.1.3 Auswertung von Kombinationen.- 1.1.4 Zusammengesetzte Prozeduren.- 1.1.5 Das Substitutionsmodell für Prozeduranwendungen.- 1.1.6 Bedingte Ausdrücke und Prädikate.- 1.1.7 Beispiel: Berechnung der Quadratwurzel nach dem Newtonschen Iterationsverfahren.- 1.1.8 Prozeduren als "Black-box"-Abstraktionen.- 1.2 Prozeduren und Prozesse.- 1.2.1 Lineare Rekursion und Iteration.- 1.2.2 Baumrekursion.- 1.2.3 Größenordnungen.- 1.2.4 Potenzrechnung.- 1.2.5 Der größte gemeinsame Teiler.- 1.2.6 Beispiel: Primzahlen.- 1.3 Abstraktionen mit Prozeduren höherer Ordnung.- 1.3.1 Prozeduren als Argumente.- 1.3.2 Konstruktion von Prozeduren mit lambda.- 1.3.3 Prozeduren als allgemeine Methode.- 1.3.4 Prozeduren als Ergebnis.- 2 Konstruktion von Abstraktionen mit Daten.- 2.1 Einführung in die Datenabstraktion.- 2.1.1 Beispiel: Arithmetische Operationen für rationale Zahlen.- 2.1.2 Abstraktionsbarrieren.- 2.1.3 Was sind eigentlich Daten?.- 2.1.4 Erweiterte Übung: Arithmetik mit Intervallen.- 2.2 Datenhierarchien und Abgeschlossenheit.- 2.2.1 Darstellung von Sequenzen.- 2.2.2 Hierarchische Strukturen.- 2.2.3 Sequenzen als konventionelle Schnittstellen.- 2.2.4 Beispiel: Eine Bildersprache.- 2.3 Symbole.- 2.3.1 Quotierung.- 2.3.2 Beispiel: Symbolisches Differenzieren.- 2.3.3 Beispiel: Darstellung von Mengen.- 2.3.4 Beispiel: Huffman-Bäume.- 2.4 Mehrfachdarstellungen abstrakter Daten.- 2.4.1 Darstellungen komplexer Zahlen.- 2.4.2 Etikettierte Daten.- 2.4.3 Datengesteuerte Programmierung und Additivität.- 2.5 Systeme mit generischen Operationen.- 2.5.1 Generische Arithmetikoperationen.- 2.5.2 Kombination von Daten verschiedenen Typs.- 2.5.3 Beispiel: Symbolische Algebra.- 3 Modularität, Objekte und Zustände.- 3.1 Zuweisungen und lokale Zustände.- 3.1.1 Lokale Zustandsvariablen.- 3.1.2 Die Vorzüge der Zuweisung.- 3.1.3 Der Preis der Zuweisung.- 3.2 Das Umgebungsmodell der Auswertung.- 3.2.1 Die Auswertungsregeln.- 3.2.2 Anwendung einfacher Prozeduren.- 3.2.3 Rahmen als Ort, an dem sich der lokale Zustand befindet.- 3.2.4 Interne Definitionen.- 3.3 Modelle mit veränderbaren Daten.- 3.3.1 Veränderbare Listenstrukturen.- 3.3.2 Darstellung von Warteschlangen.- 3.3.3 Darstellung von Tabellen.- 3.3.4 Ein Simulator für digitale Schaltkreise.- 3.3.5 Propagierung von Beschränkungen.- 3.4 Gleichzeitigkeit: Zeit ist das Wesentliche.- 3.4.1 Die Natur der Zeit in gleichzeitigen Systemen.- 3.4.2 Mechanismen zur Steuerung der Gleichzeitigkeit.- 3.5 Datenströme.- 3.5.1 Ströme als verzögerte Listen.- 3.5.2 Unendliche Datenströme.- 3.5.3 Wir nutzen das Datenstrom-Paradigma.- 3.5.4 Datenströme und verzögerte Auswertung.- 3.5.5 Modularität funktionaler Programme und Modularität von Objekten.- 4 Metalinguistische Abstraktion.- 4.1 Der metazirkuläre Evaluator.- 4.1.1 Das Kernstück des Evaluators.- 4.1.2 Darstellung von Ausdrücken.- 4.1.3 Die Datenstrukturen des Evaluators.- 4.1.4 Der Evaluator als Programm.- 4.1.5 Behandlung von Daten als Programm.- 4.1.6 Interne Definitionen.- 4.1.7 Die Syntaxanalyse von der Ausfuhrung trennen.- 4.2 Variationen zu einem Schema - Auswertung nach Vorschrift.- 4.2.1 Auswertung in normaler und in applikativer Reihenfolge.- 4.2.2 Ein Interpretierer mit Auswertung nach Vorschrift.- 4.2.3 Datenströme als Listen nach Vorschrift.- 4.3 Variationen zu einem Schema - nondeterministische Berechnung.- 4.3.1 Amb und die Suche.- 4.3.2 Beispiele Nondeterministischer Programme.- 4.3.3 Implementierung des amb-Evaluators.- 4.4 Logikprogrammierung.- 4.4.1 Deduktiver Informationsabruf.- 4.4.2 Wie das Abfragesystem funktioniert.- 4.4.3 Ist Logikprogrammierung Mathematische Logik?.- 4.4.4 Implementierung des Abfragesystems.- 5 Rechnen mit Registermaschinen.- 5.1 Entwurf von Registermaschinen.- 5.1.1 Eine Sprache zur Beschreibung von Registermaschinen.- 5.1.2 Abstraktion beim Entwurf von Maschinen.- 5.1.3 Unterprogramme.- 5.1.4 Implementierung der Rekursion mit einem Keller.- 5.1.5 Befehlsübersicht.- 5.2 Ein Simulator für Registermaschinen.- 5.2.1 Das Maschinenmodell.- 5.2.2 Der Assembler.- 5.2.3 Erzeugen von Ausführungsprozeduren für Befehle.- 5.2.4 Überwachen der Maschinenleistung.- 5.3 Speicherzuteilung und Speicherbereinigung.- 5.3.1 Speicher als Vektoren.- 5.3.2 Als ob der Speicher unendlich wäre.- 5.4 Der Evaluator mit expliziter Steuerung.- 5.4.1 Der Kern des Evaluators mit expliziter Steuerung.- 5.4.2 Auswerten von Sequenzen und Endrekursion.- 5.4.3 Bedingte Ausdrücke, Zuweisungen und Definitionen.- 5.4.4 Laufenlassen des Evaluators.- 5.5 Übersetzen.- 5.5.1 Die Struktur des Übersetzers.- 5.5.2 Übersetzen von Ausdrücken.- 5.5.3 Übersetzen von zusammengesetzten Ausdrücken.- 5.5.4 Kombination von Anweisungsfolgen.- 5.5.5 Ein Beispiel für übersetzten Code.- 5.5.6 Lexikalische Adressierung.- 5.5.7 Die Schnittstelle zwischen übersetztem Code und dem Evaluator.- Appendix zur deutschen Auflage.- Verzeichnis der Übungen.- Stichwortverzeichnis.