Willkommen, schön sind Sie da!
Logo Ex Libris

Advanced Functional Programming

  • Kartonierter Einband
  • 224 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming,heldAugust1... Weiterlesen
20%
78.00 CHF 62.40
Sie sparen CHF 15.60
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This volume contains the notes of the lectures given at the Fourth Inter- tionalSchoolonAdvanced FunctionalProgramming,heldAugust19 24,2002,at St. Anne s College in Oxford, UK. This School was preceded by earlier ones in B? astad (1995, Sweden, LNCS 925),Olympia,WA (1996,USA, LNCS 1129),andBraga(1998,Portugal,LNCS 1608). The goal of this series of schools is to make recent developments in the area of functional programming widely available. The notes are published to enable individuals, small groups of students, and lecturers to study recent work in the rapidly developing area of functional programming. ThelecturesinthisSchoolintroducetools,languagefeatures,domain-speci?c languages, problem domains, or programming methods. All lectures are - companied by software, and all lectures contain exercises and practical assi- ments. Most of the resources can be downloaded via the website of the School: TheLectures Richard Bird and Jeremy Gibbons show how to construct a program for ari- meticcoding.Theyusethetheoryoffoldsandunfoldstodevelopbothaprogram forarithmeticcodinganddecoding,andaproofofcorrectness.Theelegantresult shows that using theory can make a di?cult proof digestible. Manuel Chakravarty and Gabriele Keller tackle the performance problem of Haskell s standard arrays. They introduce an array library with which arr- centric algorithms can be coded elegantly, which has very good performance. Koen Claessen and Colin Runciman show how to use QuickCheck to specify programpropertiesandtotestthesepropertiesonfunctionalprograms,andhow to use Hat to trace computations. The combination of the two tools which can be used to trace computations of unexpected results is a powerful debugging tool. MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server.

Klappentext

MatthiasFelleisenexplainshowtodevelopinteractiveWebprogramsinfu- tional Scheme with continuations, using DrScheme and its built-in Web server.



Inhalt
Arithmetic Coding with Folds and Unfolds.- An Approach to Fast Arrays in Haskell.- Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat.- Developing Interactive Web Programs.- JoCaml: A Language for Concurrent Distributed and Mobile Programming.- Arrows, Robots, and Functional Reactive Programming.- XQuery: A Typed Functional Language for Querying XML.

Produktinformationen

Titel: Advanced Functional Programming
Untertitel: 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures
Editor:
EAN: 9783540401322
ISBN: 3540401326
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Programmiersprachen
Anzahl Seiten: 224
Gewicht: 347g
Größe: H235mm x B155mm x T12mm
Jahr: 2003
Untertitel: Englisch
Auflage: 2003

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"