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 hoherer Ordnung, Approximations-Algorithmen, Losung von Gleichungssystemen usw. Zum anderen werden aber auch Sprachkonzepte diskutiert, wie z.B. eine systematische...

Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur Losung von Problemen, fur die nur unvollstandige Informationen vorliegen. Ebenso hilft sie kombinatorische Probleme zu losen oder komplexe Deduktionssysteme zu entwickeln. Dieses kompakte Lehrbuch fuhrt in die Constraint-Programmierung ein. Neben den Grundlagen stellen die Autoren Sprachen, Methoden und Verfahren zur Modellierung und Losung von Constraint-Problemen vor. Daruber hinaus betrachten sie deren Anwendungsfelder und veranschaulichen diese anhand typischer Beispiele wie Terminplanung,...

Programming languages are often classified according to their paradigms, e.g. imperative, functional, logic, constraint-based, object-oriented, or aspect-oriented. A paradigm characterizes the style, concepts, and methods of the language for describing situations and processes and for solving problems, and each paradigm serves best for programming in particular application areas. Real-world problems, however, are often best implemented by a combination of concepts from different paradigms, because they comprise aspects from several realms, and this combination is more comfortably realized...

Programming languages are often classified according to their paradigms, e.g. imperative, functional, logic, constraint-based, object-oriented, or aspect-oriented. A paradigm characterizes the style, concepts, and methods of the language for describing situations and processes and for solving problems, and each paradigm serves best for programming in particular application areas. Real-world problems, however, are often best implemented by a combination of concepts from different paradigms, because they comprise aspects from several realms, and this combination is more comfortably realized...