{"product_id":"grundlagen-der-funktionalen-programmierung-9783519021377","title":"Grundlagen Der Funktionalen Programmierung","description":"\u003cp\u003e • Author(s): Peter Thiemann\u003cbr\u003e • Publisher: Vieweg+teubner Verlag\u003cbr\u003e • Publisher Imprint: Vieweg+teubner Verlag\u003cbr\u003e • BISAC: Engineering (General)\u003c\/p\u003e\u003cp\u003eDas vorliegende Buch entstand aus einer Reihe von Vorlesungen, die der Autor an der Eberhard-Karls-UniversWit Tiibingen unter dem Titel \"Einfiihrung in die funktionale Programmierung\" gehalten hat. Die Zielgruppe der Vorlesung sind Studenten im Hauptstudium, die Informatik als Haupt-oder Nebenfach belegen. Voraussetzungen zum Verstandnis des Buches sind die Kenntnis von Grundbe- griffen der Informatik und Programmierung. Die Vorlesung, wie auch das Bueh, besteht aus zwei Tellen. Der erste Tell um- faBt die Kapitell bis 8 und ist praktisch orientiert. Er gibt eine kurze Einfiihrung in die rein-funktionale Programmiersprache Gofer mit grundlegenden Program- mierteehniken und Methoden der Verifikation und Transformation von Program- men gefolgt von einem kurzen Ausbliek auf fortgesehrittene Techniken und wei- terfiihrende Konzepte. Insbesondere wird auf Typklassen, Konstruktorklassen und Monaden, sowie rein-funktionale Ein-und Ausgabe eingegangen. Typklassen und Konstruktorklassen erlauben die kontrollierte Uberladung von benutzerde- finierten Funktionen. Monaden ermoglichen unter anderem die Integration von in rein-funktionale Programmierspraehen. Variablen im herkommlichen Sinn 1m zweiten Teil (Kap. 9 bis 15) werden verschiedene Modelle fur Semantik und Ausfiihrung funktionaler Programmiersprachen vorgestellt. Der Tell umfaBt eine Einfiihrung in die Bereichstheorie, universelle Algebra, operationelle und de- notationelle Semantik, und den Lambda-Kalkiil. Ferner werden Typen und ihre Semantik, die automatisehe Rekonstruktion von Typen, sowie Grundbegriffeder abstrakten Interpretation und Striktheitsanalyse behandelt. Damit verzahnt wer- den Implementierungstechniken fur funktionale Programmiersprachen auf einer abstrakten Ebene diskutiert.\u003c\/p\u003e","brand":"Vieweg+teubner Verlag","offers":[{"title":"Paperback","offer_id":47813651824791,"sku":"9783519021377","price":3089.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783519021377.webp?v=1778337457","url":"https:\/\/atlanticbooks.com\/products\/grundlagen-der-funktionalen-programmierung-9783519021377","provider":"Atlantic Books","version":"1.0","type":"link"}