Software Prototyping Mit Setl

I Einfache Programm-konstrukte.- I.1 Primitive Datentypen.- I.2 Einfache Kontrollstrukturen.- I.3 Programmaufbau, Kleine Programme.- I.4 Aufgaben Zu Kapitel I.- Ii Zusammengesetzte Datentypen.- Ii.1 Mengen.- Ii.2 Tupel.- Ii.3 Abbildungen.- Ii.4 Beispiel: Einfache Binre Suchbume.- Ii.5 Erweiterungen Der Konzepte Durch Hinzunahme Der Komplexen Datentypen.- Ii.6 Aufgaben Zu Kapitel Ii.- Iii Beispiele.- Iii.1 Muster In Zeichenketten.- Iii.2 Dynamisches Hashen.- Iii.3 Ein Parser-generator.- Iii.4 Aufgaben Zu Kapitel Iii.- Iv Programming In The Large - Mechanismen Fr Die Erstellung Komplexer Programmsysteme.- Iv.1 Einleitung.- Iv.2 Aufbau Komplexer Setl-programme.- Iv.3 Getrennte Bersetzung.- Iv.4 Inclusion Libraries.- V Programm-transformationen.- V.1 Breitbandsprachen.- V.2 Zwei Klassische Transformationen.- V.3 Formale Differenzbildung.- V.4 Transformationelle Ableitung Eines Algorithmus Zur Speicherbereinigung.- V.5 Transformationen Fr Setl: Differentiation Mengentheoretischer Ausdrcke.- V.6 Abschlieende Bemerkungen.- V.7 Bungsaufgaben.- Vi Software Prototyping.- Vi.1 Der Software Life Cycle.- Vi.2 Software Prototyping.- Vi.3 Setl Als Prototyping-sprache.- Literatur.