Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments

Diese kompakte Einführung setzt keine Programmierkenntnisse voraus und eignet sich daher besonders für Anfänger. Verständlich und mit ausführlichen Beispielen in den modernen Programmiersprachen Opal, ML, Haskell und Gofer beschreibt der Autor die Grundlagen und praktische Umsetzung der Programmierung. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen statt vollständiger Sprachbeschreibungen.

Objektorientiertes Programmieren mit Java - in der neuen Version 6: Systematisch, grundlich und Schritt fur Schritt erlautert der Autor die klassischen Programmierkonzepte, wie z.B. bedingte Anweisungen, Schleifen und Rekursion fur vielfaltige Anwendungen. Objekte und (generische) Klassen, Datenstrukturen, wichtige Algorithmen zum Suchen und Sortieren, einfache numerische Anwendungen, u.v.a. erganzen diese 3., korrigierte und erweiterte Auflage. Zusatzlich beschreibt der Autor Modularisierungskonzepte und Methoden fur die Programmierung mittels Threads, Exception-Handling, die Ein- und Ausgabe sowie fur grafische Benutzerschnittstellen."

Dieses Lehrbuch gibt eine kompakte Einfuhrung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere fur Anfanger, aber auch fur alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten mochten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch grosse Systeme entwerfen und handhaben zu konnen. Am Beispiel der modernen Programmiersprachen Opal, ML, Haskell und Gofer werden sowohl elementare als auch weiterfuhrende Aspekte vorgestellt. Im Vordergrund stehen dabei immer konzeptuelle Fragestellungen und nicht vollstandige Sprachbeschreibungen."

Gegenstand dieses Werkes sind die Theorie und Praxis der modernen funktionalen Programmierung. Dabei betrachten die Autoren aber nicht nur das, was mittels der heute implementierten Sprachen wie HASKELL, OPAL, ML usw. machbar ist, sondern weisen auch auf aktuelle Entwicklungen hin.

Zum einen werden fortgeschrittene Programmiertechniken vorgestellt, wie z.B. die Verwendung unendlicher Datenstrukturen, Parser als Funktionen h herer Ordnung, Approximations-Algorithmen, L sung von Gleichungssystemen usw. Zum anderen werden aber auch Sprachkonzepte diskutiert, wie z.B. eine systematische Form der Modularisierung oder besonders ausdrucksstarke und flexible Formen der Typisierung. Ein besonderes Gewicht wird generell auf die Integration verschiedener Paradigmen gelegt, wie etwa die Verbindung mit Konzepten der objektorientierten, der nebenl ufigen oder der Constraint-basierten Programmierung. In diesem Zusammenhang wird speziell auch die Bedeutung von Monaden analysiert und kritisch hinterfragt.