Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
0Activity

Table Of Contents

1.1 Functional vs. Imperative Data Structures
1.2 Strict vs. Lazy Evaluation
1.3 Contributions
1.4 Source Language
1.5 Terminology
1.6 Overview
2.1 Streams
2.2 Historical Notes
3.1 Traditional Amortization
3.1.1 Example: Queues
3.2.1 Execution Traces and Logical Time
3.3.1 The Role of Lazy Evaluation
3.4 The Banker’s Method
3.4.1 Justifying the Banker’s Method
3.4.2 Example: Queues
3.5 The Physicist’s Method
3.5.1 Example: Queues
3.5.2 Example: Bottom-Up Mergesort with Sharing
3.6 Related Work
Eliminating Amortization
4.1 Scheduling
4.2 Real-Time Queues
4.3 Bottom-Up Mergesort with Sharing
4.4 Related Work
Lazy Rebuilding
5.1 Batched Rebuilding
5.2 Global Rebuilding
5.3 Lazy Rebuilding
5.4 Double-Ended Queues
5.4.2 Banker’s Deques
5.4.3 Real-Time Deques
5.5 Related Work
Numerical Representations
6.1 Positional Number Systems
6.2 Binary Representations
6.2.1 Binary Random-Access Lists
6.2.2 Binomial Heaps
6.3 Segmented Binary Numbers
6.4 Skew Binary Numbers
6.4.1 Skew Binary Random-Access Lists
6.4.2 Skew Binomial Heaps
6.5 Discussion
6.6 Related Work
Data-Structural Bootstrapping
7.1 Structural Decomposition
7.1.1 Non-Uniform Recursion and Standard ML
7.1.2 Queues Revisited
7.2 Structural Abstraction
7.2.1 Lists With Efficient Catenation
7.2.2 Heaps With Efficient Merging
7.3 Related Work
Implicit Recursive Slowdown
8.1 Recursive Slowdown
8.2 Implicit Recursive Slowdown
8.3 Supporting a Decrement Function
8.4 Queues and Deques
8.5 Catenable Double-Ended Queues
8.6 Related Work
Conclusions
9.1 Functional Programming
9.2 Persistent Data Structures
9.3 Programming Language Design
9.4 Open Problems
The Definition of Lazy Evaluation in Standard ML
A.1 Syntax
A.2 Static Semantics
A.3 Dynamic Semantics 133
A.3 Dynamic Semantics
A.4 Recursion
0 of .
Results for:
No results containing your search query
P. 1
okasaki

okasaki

Ratings: (0)|Views: 3 |Likes:

More info:

Published by: Hari Manasa Sai Raghavendra on Mar 13, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/13/2012

pdf

text

original

You're Reading a Free Preview
Pages 4 to 64 are not shown in this preview.
You're Reading a Free Preview
Pages 68 to 78 are not shown in this preview.
You're Reading a Free Preview
Pages 82 to 84 are not shown in this preview.
You're Reading a Free Preview
Pages 89 to 162 are not shown in this preview.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->