Grundlagen Der Funktionalen Programmierung (1994)Paperback - 1994, 1 January 1994

Grundlagen Der Funktionalen Programmierung (1994)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Xleitfäden Der Informatik
Part of Series
Leitf Den Der Informatik
Part of Series
Xleitf Den Der Informatik
Part of Series
Xleitfaden Der Informatik
Print Length
348 pages
Language
German
Publisher
Vieweg+teubner Verlag
Date Published
1 Jan 1994
ISBN-10
3519021374
ISBN-13
9783519021377

Description

Das 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.

Product Details

Book Edition:
1994
Book Format:
Paperback
Country of Origin:
US
Date Published:
1 January 1994
Dimensions:
23.39 x 15.6 x 1.85 cm
ISBN-10:
3519021374
ISBN-13:
9783519021377
Language:
German
Location:
Wiesbaden
Pages:
348
Publisher:
Vieweg+teubner Verlag
Weight:
494.42 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.