Purely functional data structures:
Data structures and data structure design techniques for functional languages.
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge [u.a.]
Cambridge Univ. Press
2003
|
| Ausgabe: | transferred to digital print. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | Data structures and data structure design techniques for functional languages. |
| Beschreibung: | X, 220 S. graph. Darst. |
| ISBN: | 0521663504 0521631246 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035836740 | ||
| 003 | DE-604 | ||
| 005 | 20221128 | ||
| 007 | t | ||
| 008 | 091120s2003 d||| |||| 00||| eng d | ||
| 020 | |a 0521663504 |c pbk |9 0-521-66350-4 | ||
| 020 | |a 0521631246 |c hbk |9 0-521-63124-6 | ||
| 035 | |a (OCoLC)552279078 | ||
| 035 | |a (DE-599)HBZHT015235706 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-92 | ||
| 082 | 0 | |a 005.73 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 265 |0 (DE-625)143634: |2 rvk | ||
| 084 | |a DAT 364f |2 stub | ||
| 084 | |a DAT 544f |2 stub | ||
| 084 | |a DAT 455f |2 stub | ||
| 100 | 1 | |a Okasaki, Chris |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Purely functional data structures |c Chris Okasaki |
| 250 | |a transferred to digital print. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2003 | |
| 300 | |a X, 220 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 8 | |a Data structures and data structure design techniques for functional languages. | |
| 650 | 4 | |a Datenstruktur - Funktionale Programmiersprache | |
| 650 | 0 | 7 | |a Datenstruktur |0 (DE-588)4011146-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Standard ML |0 (DE-588)4295302-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Datenstruktur |0 (DE-588)4011146-5 |D s |
| 689 | 0 | 1 | |a Funktionale Programmiersprache |0 (DE-588)4129948-6 |D s |
| 689 | 0 | 2 | |a Standard ML |0 (DE-588)4295302-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018695153&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018695153 | ||
Datensatz im Suchindex
| _version_ | 1804140802462449664 |
|---|---|
| adam_text | Contents
Preface
1
Introduction
1.1
Functional vs.
Imperative Data Structures
1.2
Strict vs. Lazy
Evaluation
1.3
Terminology
1.4
Approach
1.5
Overview
page
ix
1
1
2
3
4
4
Persistence
7
2.1
Lists
7
2.2
Binary Search Trees
11
2.3
Chapter Notes
15
Some Familiar Data Structures in a Functional Setting
17
3.1
Leftist Heaps
17
3.2
Binomial Heaps
20
3.3
Red-Black Trees
24
3.4
Chapter Notes
29
31
31
34
37
39
39
42
45
46
52
Lazy Evaluation
4.1
$-notation
4.2
Streams
4.3
Chapter Notes
Fundamentals of Amortization
5.1
Techniques of Amortized Analysis
5.2
Queues
5.3
Binomial Heaps
5.4
Splay Heaps
5.5
Pairing Heaps
vi
Contents
5.6
The Bad News
54
5.7
Chapter Notes
55
6
Amortization and Persistence via Lazy Evaluation
57
6.1
Execution Traces and Logical Time
57
6.2
Reconciling Amortization and Persistence
58
6.2.1
The Role of Lazy Evaluation
59
6.2.2
A Framework for Analyzing Lazy Data Structures
59
6.3
The Banker s Method
61
6.3.1
Justifying the Banker s Method
62
6.3.2
Example: Queues
64
6.3.3
Debit Inheritance
67
6.4
The Physicist s Method
68
6.4.1
Example: Binomial Heaps
70
6.4.2
Example: Queues
72
6.4.3
Example: Bottom-Up Mergesort with Sharing
74
6.5
Lazy Pairing Heaps
79
6.6
Chapter Notes
81
7
Eliminating Amortization
83
7.1
Scheduling
84
7.2
Real-Time Queues
86
7.3
Binomial Heaps
89
7.4
Bottom-Up Mergesort with Sharing
94
7.5
Chapter Notes
97
8
Lazy Rebuilding
99
8.1
Batched Rebuilding
99
8.2
Global Rebuilding
101
8.2.1
Example: Hood-Melville
Real-Time
Queues
102
8.3
Lazy Rebuilding
104
8.4
Double-Ended Queues
106
8.4.1
Output-Restricted Deques
107
8.4.2
Banker s Deques
108
8.4.3
Real-Time
Deques
111
8.5
Chapter Notes
113
9
Numerical Representations
115
9.1
Positional Number Systems
116
9.2
Binary Numbers
116
9.2.1
Binary Random-Access Lists
119
9.2.2
Zeroless Representations
122
Contents
vii
9.2.3
Lazy Representations
125
9.2.4
Segmented Representations
127
9.3
Skew Binary Numbers
130
9.3.1
Skew Binary Random-Access Lists
132
9.3.2
Skew Binomial Heaps
134
9.4
Trinary and Quaternary Numbers
138
9.5
Chapter Notes
140
10
Data-Structural Bootstrapping
141
10.1
Structural Decomposition
142
10.1.1
Non-Uniform Recursion and Standard ML
143
10.1.2
Binary Random-Access Lists Revisited
144
10.1.3
Bootstrapped Queues
146
10.2
Structural Abstraction
151
10.2.1
Lists With Efficient Catenation
153
10.2.2
Heaps With Efficient Merging
158
10.3
Bootstrapping To Aggregate Types
163
10.3.1
Tries
163
10.3.2
Generalized Tries
166
10.4
Chapter Notes
169
11
Implicit Recursive Slowdown
171
11.1
Queues and Deques
171
11.2
Catenable Double-Ended Queues
175
11.3
Chapter Notes
184
A Haskell Source Code
185
Bibliography
207
Index
217
|
| any_adam_object | 1 |
| author | Okasaki, Chris |
| author_facet | Okasaki, Chris |
| author_role | aut |
| author_sort | Okasaki, Chris |
| author_variant | c o co |
| building | Verbundindex |
| bvnumber | BV035836740 |
| classification_rvk | ST 230 ST 265 |
| classification_tum | DAT 364f DAT 544f DAT 455f |
| ctrlnum | (OCoLC)552279078 (DE-599)HBZHT015235706 |
| dewey-full | 005.73 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.73 |
| dewey-search | 005.73 |
| dewey-sort | 15.73 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | transferred to digital print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01840nam a2200469 c 4500</leader><controlfield tag="001">BV035836740</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221128 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091120s2003 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521663504</subfield><subfield code="c">pbk</subfield><subfield code="9">0-521-66350-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521631246</subfield><subfield code="c">hbk</subfield><subfield code="9">0-521-63124-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)552279078</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT015235706</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.73</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 265</subfield><subfield code="0">(DE-625)143634:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 364f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 544f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 455f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Okasaki, Chris</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Purely functional data structures</subfield><subfield code="c">Chris Okasaki</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">transferred to digital print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 220 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="a">Data structures and data structure design techniques for functional languages.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenstruktur - Funktionale Programmiersprache</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenstruktur</subfield><subfield code="0">(DE-588)4011146-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Standard ML</subfield><subfield code="0">(DE-588)4295302-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenstruktur</subfield><subfield code="0">(DE-588)4011146-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Funktionale Programmiersprache</subfield><subfield code="0">(DE-588)4129948-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Standard ML</subfield><subfield code="0">(DE-588)4295302-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018695153&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018695153</subfield></datafield></record></collection> |
| id | DE-604.BV035836740 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:05:46Z |
| institution | BVB |
| isbn | 0521663504 0521631246 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018695153 |
| oclc_num | 552279078 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-92 |
| owner_facet | DE-473 DE-BY-UBG DE-92 |
| physical | X, 220 S. graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Okasaki, Chris Verfasser aut Purely functional data structures Chris Okasaki transferred to digital print. Cambridge [u.a.] Cambridge Univ. Press 2003 X, 220 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Data structures and data structure design techniques for functional languages. Datenstruktur - Funktionale Programmiersprache Datenstruktur (DE-588)4011146-5 gnd rswk-swf Funktionale Programmiersprache (DE-588)4129948-6 gnd rswk-swf Standard ML (DE-588)4295302-9 gnd rswk-swf Datenstruktur (DE-588)4011146-5 s Funktionale Programmiersprache (DE-588)4129948-6 s Standard ML (DE-588)4295302-9 s DE-604 Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018695153&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Okasaki, Chris Purely functional data structures Datenstruktur - Funktionale Programmiersprache Datenstruktur (DE-588)4011146-5 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Standard ML (DE-588)4295302-9 gnd |
| subject_GND | (DE-588)4011146-5 (DE-588)4129948-6 (DE-588)4295302-9 |
| title | Purely functional data structures |
| title_auth | Purely functional data structures |
| title_exact_search | Purely functional data structures |
| title_full | Purely functional data structures Chris Okasaki |
| title_fullStr | Purely functional data structures Chris Okasaki |
| title_full_unstemmed | Purely functional data structures Chris Okasaki |
| title_short | Purely functional data structures |
| title_sort | purely functional data structures |
| topic | Datenstruktur - Funktionale Programmiersprache Datenstruktur (DE-588)4011146-5 gnd Funktionale Programmiersprache (DE-588)4129948-6 gnd Standard ML (DE-588)4295302-9 gnd |
| topic_facet | Datenstruktur - Funktionale Programmiersprache Datenstruktur Funktionale Programmiersprache Standard ML |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018695153&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT okasakichris purelyfunctionaldatastructures |