Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Standard view
Full view
of .
Look up keyword or section
Like this

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


|Views: 18|Likes:
Published by Yezi Huang

More info:

Published by: Yezi Huang on Jan 27, 2011
Copyright:Attribution Non-commercial


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





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

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