Grundlagen der funktionalen Programmierung (German, Paperback, 1994 ed.)

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.

General

Imprint:	Vieweg+teubner Verlag
Country of origin:	Germany
Series:	XLeitfaden der Informatik
Release date:	1994
First published:	1994
As told to:	Peter Thiemann
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Paperback
Pages:	348
Edition:	1994 ed.
ISBN-13:	978-3-519-02137-7
Languages:	German
Subtitles:	German
Categories:	Books > Professional & Technical > Technology: general issues > Engineering: general
LSN:	3-519-02137-4
Barcode:	9783519021377

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!