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
1Activity

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.1 Output-restricted Deques
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.3.1 Segmented Binomial Random-Access Lists and Heaps
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
pure

pure

Ratings: (0)|Views: 15 |Likes:
Published by Yezi Huang

More info:

Published by: Yezi Huang on Jan 27, 2011
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

11/13/2011

pdf

text

original

You're Reading a Free Preview
Pages 4 to 87 are not shown in this preview.
You're Reading a Free Preview
Pages 90 to 162 are not shown in this preview.

You're Reading a Free Preview

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