Funktionale Und Applikative Programmierung: Grundlagen, Sprachen, Implementierungstechniken

ISBN-13: 9783540890911 / Niemiecki / Twarda / 2009 / 353 str.

Wolfram-Manfred Lippe

Opis

Seit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter den verschiedenen Programmierparadigmen ein. Das Hauptanliegen dieses Buches ist eine leicht verstandliche Einfuhrung in die vielschichtige Thematik. Sie reicht von den Theoretischen Grundlagen bis zu Implementierungstechniken. Schwerpunkte bei den Grundlagen sind der l-Kalkul und die kombinatorische Logik. Der Hauptteil umfasst die Vorstellung der vielschichtigen Auspragungen in den unterschiedlichen Programmiersprachen. Bei den Implementierungstechniken wird neben klassischen Interpreter- und Compilertechniken auch ein Ausblick gegeben, wie sich derartige Programmiersprachen zukunftig auf die Entwicklung neuer Rechnerstrukturen auswirken konnen, die nicht mehr auf der von-Neumann-Architektur beruhen.

Recenzje

From the reviews:

"An excellent compendium of what has been done and achieved in former times around the topics of the book ... . The book is recommended for readers looking for mathematical foundations of functional and applicative programming, and for software and hardware realisations resulting from original research work of the last decades of the 20th century." (Hans-Jürgen Hoffmann, Zentralblatt MATH, Vol. 1180, 2010)

Spis treści

Mathematische Grundlagen.- Programmiersprachen.- Implementierungstechniken.

Blurb

Seit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter den verschiedenen Programmierparadigmen ein. Das Hauptanliegen dieses Buches ist eine leicht verständliche Einführung in die vielschichtige Thematik. Sie reicht von den Theoretischen Grundlagen bis zu Implementierungstechniken. Schwerpunkte bei den Grundlagen sind der l–Kalkül und die kombinatorische Logik. Der Hauptteil umfasst die Vorstellung der vielschichtigen Ausprägungen in den unterschiedlichen Programmiersprachen. Bei den Implementierungstechniken wird neben klassischen Interpreter- und Compilertechniken auch ein Ausblick gegeben, wie sich derartige Programmiersprachen zukünftig auf die Entwicklung neuer Rechnerstrukturen auswirken können, die nicht mehr auf der von-Neumann-Architektur beruhen.