Pearls of functional algorithm design / Richard Bird.
"Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compr...
Saved in:
| Online Access: |
Full Text (via Cambridge) |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2010.
|
| Series: | IT Pro.
|
| Subjects: |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | in00000030987 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 100924t20102010nyua ob 001 0 eng d | ||
| 005 | 20240126125653.0 | ||
| 015 | |a GBB067282 |2 bnb | ||
| 016 | 7 | |a 015566366 |2 Uk | |
| 019 | |a 671530860 |a 680621002 |a 681056252 |a 685061890 |a 692289770 |a 712992832 |a 953123630 |a 961575202 |a 994956613 |a 1064032892 |a 1066446042 |a 1170205792 |a 1170937162 | ||
| 020 | |a 9780511902024 |q (electronic bk.) | ||
| 020 | |a 0511902026 |q (electronic bk.) | ||
| 020 | |a 9780511798870 |q (electronic bk.) | ||
| 020 | |a 0511798873 |q (electronic bk.) | ||
| 020 | |a 9780511763199 |q (electronic bk.) | ||
| 020 | |a 0511763190 |q (electronic bk.) | ||
| 020 | |z 9780521513388 |q (hardback) | ||
| 020 | |z 0521513383 |q (hardback) | ||
| 024 | 8 | |a 9786612749209 | |
| 029 | 1 | |a AU@ |b 000046865275 | |
| 029 | 1 | |a AU@ |b 000053260520 | |
| 029 | 1 | |a CHNEW |b 000623433 | |
| 029 | 1 | |a DEBBG |b BV043969666 | |
| 029 | 1 | |a DEBSZ |b 372909574 | |
| 029 | 1 | |a DEBSZ |b 485801930 | |
| 029 | 1 | |a GBVCP |b 882757024 | |
| 035 | |a (OCoLC)ceba665146609 | ||
| 035 | |a (OCoLC)665146609 |z (OCoLC)671530860 |z (OCoLC)680621002 |z (OCoLC)681056252 |z (OCoLC)685061890 |z (OCoLC)692289770 |z (OCoLC)712992832 |z (OCoLC)953123630 |z (OCoLC)961575202 |z (OCoLC)994956613 |z (OCoLC)1064032892 |z (OCoLC)1066446042 |z (OCoLC)1170205792 |z (OCoLC)1170937162 | ||
| 037 | |a cebaCBO9780511763199 | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d CDX |d OSU |d YDXCP |d OCLCQ |d IDEBK |d OCLCQ |d B24X7 |d OCLCQ |d MUQ |d E7B |d STF |d CEF |d CNCGM |d REDDC |d DEBSZ |d OCLCQ |d CAMBR |d OCLCF |d OCLCQ |d UMI |d AZK |d OSU |d DEBBG |d PIFAG |d OTZ |d OCLCQ |d WY@ |d LUE |d UAB |d OCLCQ |d WYU |d C6I |d OCLCQ |d A6Q |d LUN |d UKAHL |d OCLCO |d OCL |d OCLCQ |d PSYSI |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 049 | |a GWRE | ||
| 050 | 4 | |a QA76.62 |b .B57 2010eb | |
| 100 | 1 | |a Bird, Richard, |d 1943- |e author. |1 https://id.oclc.org/worldcat/entity/E39PBJtcGbt9hfcxBxVh74dmh3 | |
| 245 | 1 | 0 | |a Pearls of functional algorithm design / |c Richard Bird. |
| 264 | 1 | |a Cambridge ; |a New York : |b Cambridge University Press, |c 2010. | |
| 264 | 4 | |c ©2010 | |
| 300 | |a 1 online resource (xi, 277 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a "Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an initial formulation of the problem in Haskell by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- |c Provided by publisher. | ||
| 520 | |a "The novel aspect of the book is that each solution is calculated from the problem statement by appealing to the laws of functional programming. Pearls of Functional Algorithm Design will appeal to the aspiring functional programmer, students and teachers interested in the principles of algorithm design, and anyone seeking to master the techniques of reasoning about programs in an equational style"-- |c Provided by publisher. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a The smallest free number -- A surpassing problem -- Improving on saddleback search -- A selection problem -- Sorting pairwise sums -- Making a century -- Building a tree with minimum height -- Unravelling greedy algorithms -- Finding celebrities -- Removing duplicates -- Not the maximum segment sum -- Ranking suffixes -- The Burrows-Wheeler transform -- The last tail -- All the common prefixes -- The Boyer-Moore algorithm -- The Knuth-Morris-Pratt algorithm -- Planning solves the rush hour problem -- A simple Sudoku solver -- The countdown problem -- Hylomorphisms and nexuses -- Three ways of computing determinants -- Inside the convex hull -- Rational arithmetic coding -- Integer arithmetic coding --The Schorr-Waite algorithm -- Orderly insertion -- Loopless functional algorithms -- The Johnson-Trotter algorithm -- Spider spinning for dummies. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Functional programming (Computer science) | |
| 650 | 0 | |a Computer algorithms. | |
| 650 | 0 | |a Algorithms. | |
| 650 | 7 | |a Algorithms |2 fast | |
| 650 | 7 | |a Computer algorithms |2 fast | |
| 650 | 7 | |a Functional programming (Computer science) |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Bird, Richard, 1943- |t Pearls of functional algorithm design. |d New York : Cambridge University Press, 2010 |z 9780521513388 |w (DLC) 2010022871 |w (OCoLC)643322214 |
| 830 | 0 | |a IT Pro. | |
| 856 | 4 | 0 | |u https://colorado.idm.oclc.org/login?url=https://doi.org/10.1017/CBO9780511763199 |z Full Text (via Cambridge) |
| 915 | |a - | ||
| 956 | |a Cambridge EBA | ||
| 956 | |b Cambridge EBA ebooks Complete Collection | ||
| 994 | |a 92 |b COD | ||
| 998 | |b WorldCat record encoding level change | ||
| 999 | f | f | |s d388b5a0-b8e0-405a-8e87-44c9eaad5c47 |i e119d06d-ca14-42ba-99f6-d334cc2c2d93 |
| 952 | f | f | |p Can circulate |a University of Colorado Boulder |b Online |c Online |d Online |e QA76.62 .B57 2010eb |h Library of Congress classification |i web |