Overview
- Leicht verständliche Einführung in die vielschichtige Thematik
- Schwerpunkte sind der ungetypte Lambda-Kalkül von Church sowie die Vorstellung funktionaler und applikativer Programmiersprachen
- Zahlreiche Übungsaufgaben mit Lösungen
- Includes supplementary material: sn.pub/extras
Part of the book series: eXamen.press (EXAMEN)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (4 chapters)
Keywords
About this book
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.
Reviews
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)Bibliographic Information
Book Title: Funktionale und Applikative Programmierung
Book Subtitle: Grundlagen, Sprachen, Implementierungstechniken
Authors: Wolfram-Manfred Lippe
Series Title: eXamen.press
DOI: https://doi.org/10.1007/978-3-540-89108-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Hardcover ISBN: 978-3-540-89091-1Published: 20 March 2009
eBook ISBN: 978-3-540-89108-6Published: 24 January 2009
Series ISSN: 1614-5216
Edition Number: 1
Number of Pages: X, 353
Topics: Software Engineering/Programming and Operating Systems, Software Engineering