Functional Data Structures for Typed Racket. Hari Prashanth and Sam Tobin-Hochstadt Northeastern University
|
|
- Shanna Wilkinson
- 6 years ago
- Views:
Transcription
1 Functional Data Structures for Typed Racket Hari Prashanth and Sam Tobin-Hochstadt Northeastern University 1
2 Motivation Typed Racket has very few data structures 2
3 Motivation Typed Racket has very few data structures Lists 3
4 Motivation Typed Racket has very few data structures Lists Vectors 4
5 Motivation Typed Racket has very few data structures Lists Vectors Hash Tables 5
6 Motivation Typed Racket has very few data structures Lists Vectors Hash Tables Practical use of Typed Racket 6
7 Outline Motivation Typed Racket in a Nutshell Purely Functional Data Structures Benchmarks Typed Racket Evaluation Conclusion 7
8 Function definition in Racket #lang racket ; Computes the length of a given list of elements ; length : list-of-elems -> natural (define (length list) (if (null? list) 0 (add1 (length (cdr list))))) 8
9 Function definition in Typed Racket #lang typed/racket ; Computes the length of a given list of integers (: length : (Listof Integer) -> Natural) (define (length list) (if (null? list) 0 (add1 (length (cdr list))))) 9
10 Function definition in Typed Racket #lang typed/racket ; Computes the length of a given list of elements (: length : (All (A) ((Listof A) -> Natural))) (define (length list) (if (null? list) 0 (add1 (length (cdr list))))) 10
11 Data definition in Racket #lang racket ; Data definition of tree of integers ; A Tree is one of ; - null ; - BTree (define-struct BTree (left elem right)) ; left and right are of type Tree ; elem is an Integer 11
12 Data definition in Typed Racket #lang typed/racket ; Data definition of tree of integers (define-type Tree (U Null BTree)) (define-struct: BTree ([left : Tree] [elem : Integer] [right : Tree])) 12
13 Data definition in Typed Racket #lang typed/racket ; Polymorphic definition of Tree (define-type (Tree A) (U Null (BTree A))) (define-struct: (A) BTree ([left : (Tree A)] [elem : A] [right : (Tree A)])) 13
14 Outline Motivation Typed Racket in a Nutshell Purely Functional Data Structures Benchmarks Typed Racket Evaluation Conclusion 14
15 Destructive and Non-destructive update e 15
16 Destructive and Non-destructive update e Destructive update 16
17 Destructive and Non-destructive update e Non-destructive update 17
18 Functional Queue (define-struct: (A) Queue ([front : (Listof A)] [rear : (Listof A)])) 18
19 Functional Queue (define-struct: (A) Queue ([front : (Listof A)] [rear : (Listof A)])) 19
20 Functional Queue (: dequeue : (All (A) ((Queue A) -> (Queue A)))) (define (dequeue que) (let ([front (cdr (Queue-front que))] [rear (Queue-rear que)]) (if (null? front) (Queue (reverse rear) null) (Queue front rear)))) 20
21 Functional Queue Queue q (for ([id (in-range 100)]) (dequeue q)) 21
22 Banker s Queue [Okasaki 1998] Lazy evaluation solves this problem 22
23 Banker s Queue [Okasaki 1998] Lazy evaluation solves this problem (: val : (Promise Exact-Rational)) (define val (delay (/ 5 0))) 23
24 Banker s Queue [Okasaki 1998] Lazy evaluation solves this problem Streams (define-type (Stream A) (Pair A (Promise (Stream A)))) 24
25 Banker s Queue [Okasaki 1998] Lazy evaluation solves this problem (define-struct: (A) Queue ([front : (Stream A)] [lenf : Integer] [rear : (Stream A)] [lenr : Integer])) Invariant lenf >= lenr 25
26 Banker s Queue [Okasaki 1998] Lazy evaluation solves this problem (: check : (All (A) (Stream A) Integer (Stream A) Integer -> (Queue A))) (define (check front lenf rear lenr) (if (>= lenf lenr) (make-queue front lenf rear lenr) (make-queue (stream-append front (stream-reverse rear)) (+ lenf lenr) null 0))) 26
27 Banker s Queue [Okasaki 1998] Lazy evaluation solves this problem (make-queue (stream-append front (stream-reverse rear)) (+ lenf lenr) null 0) 27
28 Banker s Queue [Okasaki 1998] Lazy evaluation solves this problem Amortized running time of O(1) for the operations enqueue, dequeue and head 28
29 Real-Time Queues [Hood & Melville 81] 29
30 Real-Time Queues [Hood & Melville 81] Eliminating amortization by Scheduling 30
31 Real-Time Queues [Hood & Melville 81] Eliminating amortization by Scheduling Banker s Queue - reverse is a forced completely 31
32 Real-Time Queues [Hood & Melville 81] Eliminating amortization by Scheduling (: rotate : (All (A) ((Stream A) (Listof A) (Stream A) -> (Stream A)))) (define (rotate front rear accum) (if (empty-stream? front) (stream-cons (car rear) accum) (stream-cons (stream-car front) (rotate (stream-cdr front) (cdr rear) (stream-cons (car rear) accum))))) Incremental reversing 32
33 Real-Time Queues [Hood & Melville 81] Eliminating amortization by Scheduling Worst-case running time of O(1) for the operations enqueue, dequeue and head 33
34 Binary Random Access Lists [Okasaki 1998] Nat is one of (add1 Nat) List is one of - null - (cons elem List) 34
35 Binary Random Access Lists [Okasaki 1998] Nat is one of (add1 Nat) List is one of - null - (cons elem List) cons corresponds to increment cdr corresponds to decrement append corresponds to addition 35
36 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) 36
37 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) (define-type (Digit A) (U Zero (One A))) 37
38 Binary Random Access Lists [Okasaki 1998] (define-struct: Zero ()) 38
39 Binary Random Access Lists [Okasaki 1998] (define-struct: Zero ()) (define-struct: (A) One ([fst : (Tree A)])) 39
40 Binary Random Access Lists [Okasaki 1998] (define-type (Tree A) (U (Leaf A) (Node A))) 40
41 Binary Random Access Lists [Okasaki 1998] (define-type (Tree A) (U (Leaf A) (Node A))) (define-struct: (A) Leaf ([fst : A])) 41
42 Binary Random Access Lists [Okasaki 1998] (define-type (Tree A) (U (Leaf A) (Node A))) (define-struct: (A) Leaf ([fst : A])) (define-struct: (A) Node ([size : Integer] [left : (Tree A)] [right : (Tree A)])) 42
43 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) 43
44 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) 44
45 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) 45
46 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) 46
47 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) 47
48 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) 48
49 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) 49
50 Binary Random Access Lists [Okasaki 1998] (define-type (RAList A) (Listof (Digit A))) Worst-case running time of O(log n) for the operations cons, car, cdr, lookup and update 50
51 VLists [Bagwell 2002] (define-struct: (A) Base ([previous : (U Null (Base A))] [elems : (RAList A)])) (define-struct: (A) VList ([offset : Natural] [base : (Base A)] [size : Natural])) 51
52 VLists [Bagwell 2002] List with one element
53 VLists [Bagwell 2002] cons 5 and 4 to the previous list 53
54 VLists [Bagwell 2002] cons 3 and 2 to the previous list 54
55 VLists [Bagwell 2002] cdr of the previous list 55
56 VLists [Bagwell 2002] Random access takes O(1) average and O(log n) in worst-case. 56
57 Our library Library has 30 data structures which include Variants of Queues Variants of Deques Variants of Heaps Variants of Lists Red-Black Trees Tries Sets Hash Lists 57
58 Our library Library has 30 data structures 58
59 Our library Library has 30 data structures Data structures have several utility functions 59
60 Our library Library has 30 data structures Data structures have several utility functions Our implementations follows the original work 60
61 Outline Motivation Typed Racket in a Nutshell Purely Functional Data Structures Benchmarks Typed Racket Evaluation Conclusion 61
62 Benchmarks (foldl enqueue que list-of elems) 62
63 Benchmarks 63
64 Benchmarks 64
65 Benchmarks 65
66 Benchmarks 66
67 Outline Motivation Typed Racket in a Nutshell Purely Functional Data Structures Benchmarks Typed Racket Evaluation Conclusion 67
68 ML to Typed Racket ML idioms can be easily ported to Typed Racket 68
69 ML to Typed Racket ML idioms can be easily ported to Typed Racket type 'a Queue = int * 'a Stream * int * 'a Stream (define-struct: (A) Queue ([lenf : Integer] [front : (Stream A)] [lenr : Integer] [rear : (Stream A)])) 69
70 ML to Typed Racket ML idioms can be easily ported to Typed Racket type 'a Queue = 'a list * int * 'a list susp * int * 'a list (define-struct: (A) Queue ([pref : (Listof A)] [lenf : Integer] [front : (Promise (Listof A))] [lenr : Integer] [rear : (Listof A)])) 70
71 Optimizer in Typed Racket Optimizer based on type information 71
72 Optimizer in Typed Racket 72
73 Polymorphic recursion (define-type (Seq A) (Pair A (Seq (Pair A A)))) Non-uniform type 73
74 Polymorphic recursion (define-type (EP A) (U A (Pair (EP A) (EP A)))) (define-type (Seq A) (Pair (EP A) (Seq A))) Uniform type 74
75 Conclusion Typed Racket is useful for real-world software. Functional data structures in Typed Racket are useful and performant. A comprehensive library of data structures is now available. 75
76 Thank you... Library is available for download from 76
Typed Racket: Racket with Static Types
Typed Racket: Racket with Static Types Version 5.0.2 Sam Tobin-Hochstadt November 6, 2010 Typed Racket is a family of languages, each of which enforce that programs written in the language obey a type
More informationThe Typed Racket Guide
The Typed Racket Guide Version 5.3.6 Sam Tobin-Hochstadt and Vincent St-Amour August 9, 2013 Typed Racket is a family of languages, each of which enforce
More informationThe Typed Racket Reference
The Typed Racket Reference Version 5.1 Sam Tobin-Hochstadt February 14, 2011 #lang typed/racket/base #lang typed/racket 1 1 Type Reference Any Any Racket value. All other types are subtypes of Any. Nothing
More informationTyped Scheme: Scheme with Static Types
Typed Scheme: Scheme with Static Types Version 4.1.1 Sam Tobin-Hochstadt October 5, 2008 Typed Scheme is a Scheme-like language, with a type system that supports common Scheme programming idioms. Explicit
More informationAdvanced Programming Handout 5. Purely Functional Data Structures: A Case Study in Functional Programming
Advanced Programming Handout 5 Purely Functional Data Structures: A Case Study in Functional Programming Persistent vs. Ephemeral An ephemeral data structure is one for which only one version is available
More informationAdvanced Programming Handout 6. Purely Functional Data Structures: A Case Study in Functional Programming
Advanced Programming Handout 6 Purely Functional Data Structures: A Case Study in Functional Programming Persistent vs. Ephemeral An ephemeral data structure is one for which only one version is available
More informationStreams, Delayed Evaluation and a Normal Order Interpreter. CS 550 Programming Languages Jeremy Johnson
Streams, Delayed Evaluation and a Normal Order Interpreter CS 550 Programming Languages Jeremy Johnson 1 Theme This lecture discusses the stream model of computation and an efficient method of implementation
More informationRacket: Modules, Contracts, Languages
Racket: Modules, Contracts, Languages Advanced Functional Programming Jean-Noël Monette November 2013 1 Today Modules are the way to structure larger programs in smaller pieces. Modules can import and
More informationObjectives. Upon completion you will be able to:
Chapter 10 Multiway Trees Objectives Upon completion you will be able to: Define and discuss multiway tree structures Understand the operation and use of the B-tree ADT Discuss the use and implementation
More informationLogic - CM0845 Introduction to Haskell
Logic - CM0845 Introduction to Haskell Diego Alejandro Montoya-Zapata EAFIT University Semester 2016-1 Diego Alejandro Montoya-Zapata (EAFIT University) Logic - CM0845 Introduction to Haskell Semester
More informationThe Typed Racket Guide
The Typed Racket Guide Version 6.9 Sam Tobin-Hochstadt ăsamth@racket-lang.orgą, Vincent St-Amour ăstamourv@racket-lang.orgą, Eric Dobson ăendobson@racket-lang.orgą, and Asumu Takikawa ăasumu@racket-lang.orgą
More informationThe Role of Lazy Evaluation in Amortized Data Structures
The Role of Lazy Evaluation in Amortized Data Structures Chris Okasaki School of Computer Science, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA 15213 (e-mail: cokasaki@cs.cmu.edu)
More informationExtensible Pattern Matching
Extensible Pattern Matching Sam Tobin-Hochstadt PLT @ Northeastern University IFL, September 3, 2010 Extensible Pattern Matching in an Extensible Language Sam Tobin-Hochstadt PLT @ Northeastern University
More informationLanguages as Libraries
Languages as Libraries or, implementing the next 700 programming languages Sam Tobin-Hochstadt PLT @ Northeastern University May 11, 2011 MIT 1 A domain specific language is the ultimate abstraction. Paul
More informationQueues. Lesson 4. CS 32: Data Structures Dept. of Computer Science
Queues Lesson 4 Outline What is a queue? Straight queue Circular Queue Sequential Implementation Linked Implementation Application: Topological sort Deques Final Notes Outline What is a queue? Straight
More informationDefinition of a Heap. Heaps. Priority Queues. Example. Implementation using a heap. Heap ADT
Heaps Definition of a heap What are they for: priority queues Insertion and deletion into heaps Implementation of heaps Heap sort Not to be confused with: heap as the portion of computer memory available
More informationSYSC 2006 Winter 2012 Linear Collections: Queues
SYSC 2006 Winter 2012 Linear Collections: Queues Copyright 2000-2012 D.L. Bailey, Systems and Computer Engineering, Carleton University revised March 20, 2011, November 28, 2011, March 30, 2012 Definition
More informationWellesley College CS251 Programming Languages Spring, 2000 FINAL EXAM REVIEW PROBLEM SOLUTIONS
Wellesley College CS251 Programming Languages Spring, 2000 FINAL EXAM REVIEW PROBLEM SOLUTIONS This document contains solutions to the problems on the final exam review problems posted earlier except for
More informationYou must print this PDF and write your answers neatly by hand. You should hand in the assignment before recitation begins.
15-122 Homework 4 Page 1 of 13 15-122 : Principles of Imperative Computation, Summer 1 2014 Written Homework 4 Due: Thursday, June 12 before recitation Name: Andrew ID: Recitation: In this assignment,
More informationCOS 226 Algorithms and Data Structures Fall Midterm
COS 226 Algorithms and Data Structures Fall 2017 Midterm This exam has 10 questions (including question 0) worth a total of 55 points. You have 0 minutes. This exam is preprocessed by a computer, so please
More informationName: 1 stack<int> s; 2 s.push(9) 3 s.push(5) 4 s.push(10) 5 s.push(1) 6 s.pop() 7 s.pop() 8 s.push(0) 9 s.pop() 10 s.pop() 11 s.
1. (5 points) Determine the stack contents at the points indicated below during the following operations on the stack ADT. Write down the stack contents after the operation on the given line is executed.
More information1 P age DS & OOPS / UNIT II
UNIT II Stacks: Definition operations - applications of stack. Queues: Definition - operations Priority queues - De que Applications of queue. Linked List: Singly Linked List, Doubly Linked List, Circular
More informationCS450 - Structure of Higher Level Languages
Spring 2018 Streams February 24, 2018 Introduction Streams are abstract sequences. They are potentially infinite we will see that their most interesting and powerful uses come in handling infinite sequences.
More informationName: After line 1: After line 3: After line 5: After line 8: After line 11:
1. (5 points) Determine the stack contents at the points indicated below during the following operations on the stack ADT. Write down the stack contents after the operation on the given line is executed.
More informationLecture Notes on Priority Queues
Lecture Notes on Priority Queues 15-122: Principles of Imperative Computation Frank Pfenning Lecture 16 October 18, 2012 1 Introduction In this lecture we will look at priority queues as an abstract type
More informationLinked Data Structures. Linked lists. Readings: CP:AMA The primary goal of this section is to be able to use linked lists and trees.
Linked Data Structures Readings: CP:AMA 17.5 The primary goal of this section is to be able to use linked lists and trees. CS 136 Winter 2018 11: Linked Data Structures 1 Linked lists Racket s list type
More informationStreams and Evalutation Strategies
Data and Program Structure Streams and Evalutation Strategies Lecture V Ahmed Rezine Linköpings Universitet TDDA69, VT 2014 Lecture 2: Class descriptions - message passing ( define ( make-account balance
More informationPrepared By: Ms. Nidhi Solanki (Assist. Prof.) Page 1
QUESTION BANK ON COURSE: 304: PRELIMINARIES: 1. What is array of pointer, explain with appropriate example? 2 2. Differentiate between call by value and call by reference, give example. 3. Explain pointer
More informationData Structures Question Bank Multiple Choice
Section 1. Fundamentals: Complexity, Algorthm Analysis 1. An algorithm solves A single problem or function Multiple problems or functions Has a single programming language implementation 2. A solution
More informationCS350: Data Structures Heaps and Priority Queues
Heaps and Priority Queues James Moscola Department of Engineering & Computer Science York College of Pennsylvania James Moscola Priority Queue An abstract data type of a queue that associates a priority
More informationProblem 1: Binary Trees: Flatten
Problem 1: Binary Trees: Flatten Recall the data definition for binary trees: A binary-tree is either: #f (make-bt val left right) where val is a number, and left and right are binary-trees. (define-struct
More informationl Heaps very popular abstract data structure, where each object has a key value (the priority), and the operations are:
DDS-Heaps 1 Heaps - basics l Heaps very popular abstract data structure, where each object has a key value (the priority), and the operations are: l insert an object, find the object of minimum key (find
More informationDIT960 Datastrukturer
DIT90 Datastrukturer suggested solutions for exam 07-0-0. The following code takes as input two arrays with elements of the same type. The arrays are called a and b. The code returns a dynamic array which
More informationCSE 373 Autumn 2010: Midterm #1 (closed book, closed notes, NO calculators allowed)
Name: Email address: CSE 373 Autumn 2010: Midterm #1 (closed book, closed notes, NO calculators allowed) Instructions: Read the directions for each question carefully before answering. We may give partial
More informationl So unlike the search trees, there are neither arbitrary find operations nor arbitrary delete operations possible.
DDS-Heaps 1 Heaps - basics l Heaps an abstract structure where each object has a key value (the priority), and the operations are: insert an object, find the object of minimum key (find min), and delete
More informationOverview. CS301 Session 3. Problem set 1. Thinking recursively
Overview CS301 Session 3 Review of problem set 1 S-expressions Recursive list processing Applicative programming A look forward: local variables 1 2 Problem set 1 Don't use begin unless you need a side
More informationITI Introduction to Computing II
ITI 1121. Introduction to Computing II Queues ArrayQueue Marcel Turcotte School of Electrical Engineering and Computer Science Version of March 10, 2014 Abstract These lecture notes are meant to be looked
More informationCourse Review. Cpt S 223 Fall 2009
Course Review Cpt S 223 Fall 2009 1 Final Exam When: Tuesday (12/15) 8-10am Where: in class Closed book, closed notes Comprehensive Material for preparation: Lecture slides & class notes Homeworks & program
More informationPart I: Short Answer (12 questions, 65 points total)
CSE 143 Sp01 Final Exam Sample Solution page 1 of 14 Part I: Short Answer (12 questions, 65 points total) Answer all of the following questions. READ EACH QUESTION CAREFULLY. Answer each question in the
More informationLinked Data Structures. Linked lists. Readings: CP:AMA The primary goal of this section is to be able to use linked lists and trees.
Linked Data Structures Readings: CP:AMA 17.5 The primary goal of this section is to be able to use linked lists and trees. CS 136 Fall 2018 11: Linked Data Structures 1 Linked lists Racket s list type
More informationFunctional Programming. Pure Functional Programming
Functional Programming Pure Functional Programming Computation is largely performed by applying functions to values. The value of an expression depends only on the values of its sub-expressions (if any).
More informationSCHEME 10 COMPUTER SCIENCE 61A. July 26, Warm Up: Conditional Expressions. 1. What does Scheme print? scm> (if (or #t (/ 1 0)) 1 (/ 1 0))
SCHEME 0 COMPUTER SCIENCE 6A July 26, 206 0. Warm Up: Conditional Expressions. What does Scheme print? scm> (if (or #t (/ 0 (/ 0 scm> (if (> 4 3 (+ 2 3 4 (+ 3 4 (* 3 2 scm> ((if (< 4 3 + - 4 00 scm> (if
More informationMidterm II Exam Principles of Imperative Computation Frank Pfenning. March 31, 2011
Midterm II Exam 15-122 Principles of Imperative Computation Frank Pfenning March 31, 2011 Name: Sample Solution Andrew ID: fp Section: Instructions This exam is closed-book with one sheet of notes permitted.
More informationBalanced Trees. Nate Foster Spring 2018
Balanced Trees Nate Foster Spring 2018 Prelim I Tonight! 5:30 7:30 Bring your Cornell ID Card If you have a letter allowing you special accommodations for the exam, send mail to cs3110-profs-l@list.cornell.edu
More informationSection 5.3: Event List Management
Section 53: Event List Management Discrete-Event Simulation: A First Course c 2006 Pearson Ed, Inc 0-3-4297-5 Discrete-Event Simulation: A First Course Section 53: Event List Management / 3 Section 53:
More informationCS 135 Winter 2018 Tutorial 7: Accumulative Recursion and Binary Trees. CS 135 Winter 2018 Tutorial 7: Accumulative Recursion and Binary Trees 1
CS 135 Winter 2018 Tutorial 7: Accumulative Recursion and Binary Trees CS 135 Winter 2018 Tutorial 7: Accumulative Recursion and Binary Trees 1 Goals of this tutorial You should be able to... understand
More informationINSTITUTE OF AERONAUTICAL ENGINEERING
INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad - 500 043 COMPUTER SCIENCE AND ENGINEERING TUTORIAL QUESTION BANK Course Name Course Code Class Branch DATA STRUCTURES ACS002 B. Tech
More informationCS251-SE1. Midterm 2. Tuesday 11/1 8:00pm 9:00pm. There are 16 multiple-choice questions and 6 essay questions.
CS251-SE1 Midterm 2 Tuesday 11/1 8:00pm 9:00pm There are 16 multiple-choice questions and 6 essay questions. Answer the multiple choice questions on your bubble sheet. Answer the essay questions in the
More informationINFO1x05 Tutorial 6. Exercise 1: Heaps and Priority Queues
INFO1x05 Tutorial 6 Heaps and Priority Queues Exercise 1: 1. How long would it take to remove the log n smallest elements from a heap that contains n entries, using the operation? 2. Suppose you label
More informationOutline for Today. Analyzing data structures over the long term. Why could we construct them in time O(n)? A simple and elegant queue implementation.
Amortized Analysis Outline for Today Amortized Analysis Analyzing data structures over the long term. Cartesian Trees Revisited Why could we construct them in time O(n)? The Two-Stack Queue A simple and
More informationMLR Institute of Technology
MLR Institute of Technology Laxma Reddy Avenue, Dundigal, Quthbullapur (M), Hyderabad 500 043 Phone Nos: 08418 204066 / 204088, Fax : 08418 204088 TUTORIAL QUESTION BANK Course Name : DATA STRUCTURES Course
More information8. Binary Search Tree
8 Binary Search Tree Searching Basic Search Sequential Search : Unordered Lists Binary Search : Ordered Lists Tree Search Binary Search Tree Balanced Search Trees (Skipped) Sequential Search int Seq-Search
More information(add1 3) 4 (check-expect (add1 3) 4)
(add1 3) 4 (check-expect (add1 3) 4) ;; A Dict is one of: ;; - '() ;; - (cons (list String String) Dict) ;; Interp: a collection of definitions where each element is a ;; two-element list of a word (first)
More informationBalanced Trees. Prof. Clarkson Fall Today s music: Get the Balance Right by Depeche Mode
Balanced Trees Prof. Clarkson Fall 2017 Today s music: Get the Balance Right by Depeche Mode Prelim See Piazza post @422 Makeup: Thursday night 5:30 pm Wed noon: All requests for other makeup/conflict
More informationHonu. Version November 6, 2010
Honu Version 5.0.2 November 6, 2010 Honu is a family of languages built on top of Racket. Honu syntax resembles Java. Like Racket, however, Honu has no fixed syntax, because Honu supports extensibility
More informationCSU2510H Exam 1 Practice Problems
CSU2510H Exam 1 Practice Problems Name: Student Id (last 4 digits): You may use the usual primitives and expression forms of any of the class languages, and the List interface on the next page; for everything
More informationIntroduction p. 1 Pseudocode p. 2 Algorithm Header p. 2 Purpose, Conditions, and Return p. 3 Statement Numbers p. 4 Variables p. 4 Algorithm Analysis
Introduction p. 1 Pseudocode p. 2 Algorithm Header p. 2 Purpose, Conditions, and Return p. 3 Statement Numbers p. 4 Variables p. 4 Algorithm Analysis p. 5 Statement Constructs p. 5 Pseudocode Example p.
More informationModule 9: Binary trees
Module 9: Binary trees Readings: HtDP, Section 14 We will cover the ideas in the text using different examples and different terminology. The readings are still important as an additional source of examples.
More informationCOMP 250 Midterm #2 March 11 th 2013
NAME: STUDENT ID: COMP 250 Midterm #2 March 11 th 2013 - This exam has 6 pages - This is an open book and open notes exam. No electronic equipment is allowed. 1) Questions with short answers (28 points;
More informationUniversity of Illinois at Urbana-Champaign Department of Computer Science. Second Examination
University of Illinois at Urbana-Champaign Department of Computer Science Second Examination CS 225 Data Structures and Software Principles Spring 2014 7-10p, Tuesday, April 8 Name: NetID: Lab Section
More informationHow to Design Programs
How to Design Programs How to (in Racket): represent data variants trees and lists write functions that process the data See also http://www.htdp.org/ 1 Running Example: GUIs Pick a fruit: Apple Banana
More information#06 More Structures LIFO FIFO. Contents. Queue vs. Stack 3. Stack Operations. Pop. Push. Stack Queue Hash table
Contents #06 More Structures -07 FUNDAMENTAL PROGRAMMING I Stack Queue Hash table DEPARTMENT OF COMPUTER ENGINEERING, PSU v. Queue vs. Stack Stack Operations IN IN OUT Push: add an item to the top Pop:
More informationTHE UNIVERSITY OF WESTERN AUSTRALIA
THE UNIVERSITY OF WESTERN AUSTRALIA MID SEMESTER EXAMINATION April 2016 SCHOOL OF COMPUTER SCIENCE & SOFTWARE ENGINEERING DATA STRUCTURES AND ALGORITHMS CITS2200 This Paper Contains: 6 Pages 10 Questions
More informationCS 314 Principles of Programming Languages
CS 314 Principles of Programming Languages Lecture 16: Functional Programming Zheng (Eddy Zhang Rutgers University April 2, 2018 Review: Computation Paradigms Functional: Composition of operations on data.
More informationLinear Structures. Linear Structure. Implementations. Array details. List details. Operations 4/18/2013
Linear Structure Linear Structures Chapter 4 CPTR 318 Every non-empty linear structure has A unique element called first A unique element called last Every element except last has a unique successor Every
More informationCS 314 Principles of Programming Languages. Lecture 16
CS 314 Principles of Programming Languages Lecture 16 Zheng Zhang Department of Computer Science Rutgers University Friday 28 th October, 2016 Zheng Zhang 1 CS@Rutgers University Class Information Reminder:
More informationBinary Trees. Directed, Rooted Tree. Terminology. Trees. Binary Trees. Possible Implementation 4/18/2013
Directed, Rooted Tree Binary Trees Chapter 5 CPTR 318 Every non-empty directed, rooted tree has A unique element called root One or more elements called leaves Every element except root has a unique parent
More information! Tree: set of nodes and directed edges. ! Parent: source node of directed edge. ! Child: terminal node of directed edge
Trees (& Heaps) Week 12 Gaddis: 20 Weiss: 21.1-3 CS 5301 Spring 2015 Jill Seaman 1 Tree: non-recursive definition! Tree: set of nodes and directed edges - root: one node is distinguished as the root -
More informationData: Data Structures
Data: Data Structures Version 6.8 January 24, 2017 (require data) package: base This manual documents data structure libraries available in the data collection. 1 1 Imperative Queues (require data/queue)
More informationDirect Addressing Hash table: Collision resolution how handle collisions Hash Functions:
Direct Addressing - key is index into array => O(1) lookup Hash table: -hash function maps key to index in table -if universe of keys > # table entries then hash functions collision are guaranteed => need
More informationTypes of recursion. Structural vs. general recursion. Pure structural recursion. Readings: none. In this module: learn to use accumulative recursion
Types of recursion Readings: none. In this module: learn to use accumulative recursion learn to recognize generative recursion CS 135 Fall 2018 07: Types of recursion 1 Structural vs. general recursion
More informationModule Contact: Dr Geoff McKeown, CMP Copyright of the University of East Anglia Version 1
UNIVERSITY OF EAST ANGLIA School of Computing Sciences Main Series UG Examination 2015-16 DATA STRUCTURES AND ALGORITHMS CMP-5014Y Time allowed: 3 hours Section A (Attempt any 4 questions: 60 marks) Section
More informationMultiple choice questions. Answer on Scantron Form. 4 points each (100 points) Which is NOT a reasonable conclusion to this sentence:
Multiple choice questions Answer on Scantron Form 4 points each (100 points) 1. Which is NOT a reasonable conclusion to this sentence: Multiple constructors for a class... A. are distinguished by the number
More informationSyntax Color: Utilities
Syntax Color: Utilities Version 6.6 Scott Owens July 22, 2016 The "syntax-color" collection provides the underlying data structures and some helpful utilities for the color:text class of framework.
More informationQuiz 1. Queues , Fall 2007 Recitation 10 Solutions 1
6.001, Fall 2007 Recitation 10 Solutions 1 MASSACHVSETTS INSTITVTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science 6.001 Structure and Interpretation of Computer Programs Fall 2007
More informationCMSC 631 Program Analysis and Understanding. Dynamic Typing, Contracts, and Gradual Typing
CMSC 631 Program Analysis and Understanding Dynamic Typing, Contracts, and Gradual Typing Static vs. Dynamic Typing Languages with Static Typing Examples: Ocaml, Java, C#, Scala, Haskell Typechecker proves
More informationITERATORS AND STREAMS 9
ITERATORS AND STREAMS 9 COMPUTER SCIENCE 61A November 12, 2015 1 Iterators An iterator is an object that tracks the position in a sequence of values. It can return an element at a time, and it is only
More informationCOP 3502 (Computer Science I) Test #3: Data Structures Date: 11/1/2013 VERSION A
COP 3502 (Computer Science I) Test #3: Data Structures Date: 11/1/2013 VERSION A Directions: This is a multiple choice test. Each question is worth 5 points. Please choose the most accurate answer listed.
More informationBalanced Trees Part Two
Balanced Trees Part Two Outline for Today Recap from Last Time Review of B-trees, 2-3-4 trees, and red/black trees. Order Statistic Trees BSTs with indexing. Augmented Binary Search Trees Building new
More informationLecture 17 Notes Priority Queues
Lecture 17 Notes Priority Queues 15-122: Principles of Imperative Computation (Summer 1 2015) Frank Pfenning, Rob Simmons 1 Introduction In this lecture we will look at priority queues as an abstract type
More informationCourse Review for Finals. Cpt S 223 Fall 2008
Course Review for Finals Cpt S 223 Fall 2008 1 Course Overview Introduction to advanced data structures Algorithmic asymptotic analysis Programming data structures Program design based on performance i.e.,
More information182 review 1. Course Goals
Course Goals 182 review 1 More experience solving problems w/ algorithms and programs minimize static methods use: main( ) use and overload constructors multiple class designs and programming solutions
More informationYou must include this cover sheet. Either type up the assignment using theory4.tex, or print out this PDF.
15-122 Assignment 4 Page 1 of 12 15-122 : Principles of Imperative Computation Fall 2012 Assignment 4 (Theory Part) Due: Thursday, October 18, 2012 at the beginning of lecture Name: Andrew ID: Recitation:
More informationScheme as implemented by Racket
Scheme as implemented by Racket (Simple view:) Racket is a version of Scheme. (Full view:) Racket is a platform for implementing and using many languages, and Scheme is one of those that come out of the
More informationYou must include this cover sheet. Either type up the assignment using theory5.tex, or print out this PDF.
15-122 Assignment 5 Page 1 of 11 15-122 : Principles of Imperative Computation Fall 2012 Assignment 5 (Theory Part) Due: Tuesday, October 30, 2012 at the beginning of lecture Name: Andrew ID: Recitation:
More informationLinear Structures. Linear Structure. Implementations. Array details. List details. Operations 2/10/2013
Linear Structure Linear Structures Chapter 4 CPTR 318 Every non-empty linear structure has A unique element called first A unique element called last Every element except last has a unique successor Every
More informationLecture 17 Priority Queues
Lecture 17 Priority Queues 15-122: Principles of Imperative Computation (Spring 2018) Frank Pfenning, Rob Simmons In this lecture we will look at priority queues as an abstract type and discuss several
More informationChapter 5 Data Structures Algorithm Theory WS 2016/17 Fabian Kuhn
Chapter 5 Data Structures Algorithm Theory WS 06/ Fabian Kuhn Examples Dictionary: Operations: insert(key,value), delete(key), find(key) Implementations: Linked list: all operations take O(n) time (n:
More informationCS 216 Exam 1 Fall SOLUTION
CS 216 Exam 1 Fall 2004 - SOLUTION Name: Lab Section: Email Address: Student ID # This exam is closed note, closed book. You will have an hour and fifty minutes total to complete the exam. You may NOT
More informationSTACKS AND QUEUES. Problem Solving with Computers-II
STACKS AND QUEUES Problem Solving with Computers-II 2 Stacks container class available in the C++ STL Container class that uses the Last In First Out (LIFO) principle Methods i. push() ii. iii. iv. pop()
More informationFunctional Programming. Pure Functional Languages
Functional Programming Pure functional PLs S-expressions cons, car, cdr Defining functions read-eval-print loop of Lisp interpreter Examples of recursive functions Shallow, deep Equality testing 1 Pure
More informationHash Tables. CS 311 Data Structures and Algorithms Lecture Slides. Wednesday, April 22, Glenn G. Chappell
Hash Tables CS 311 Data Structures and Algorithms Lecture Slides Wednesday, April 22, 2009 Glenn G. Chappell Department of Computer Science University of Alaska Fairbanks CHAPPELLG@member.ams.org 2005
More informationIntroduction to Functional Programming in Racket. CS 550 Programming Languages Jeremy Johnson
Introduction to Functional Programming in Racket CS 550 Programming Languages Jeremy Johnson 1 Objective To introduce functional programming in racket Programs are functions and their semantics involve
More informationDOWNLOAD PDF LINKED LIST PROGRAMS IN DATA STRUCTURE
Chapter 1 : What is an application of linear linked list data structures? - Quora A linked list is a linear data structure, in which the elements are not stored at contiguous memory locations. The elements
More informationRevision Statement while return growth rate asymptotic notation complexity Compare algorithms Linear search Binary search Preconditions: sorted,
[1] Big-O Analysis AVERAGE(n) 1. sum 0 2. i 0. while i < n 4. number input_number(). sum sum + number 6. i i + 1 7. mean sum / n 8. return mean Revision Statement no. of times executed 1 1 2 1 n+1 4 n
More informationLecture Notes on Binary Search Trees
Lecture Notes on Binary Search Trees 15-122: Principles of Imperative Computation Tom Cortina Lecture 15 October 14, 2010 1 Introduction In the previous two lectures we have seen how to exploit the structure
More informationTypes of recursion. Readings: none. In this module: a glimpse of non-structural recursion. CS 135 Winter : Types of recursion 1
Types of recursion Readings: none. In this module: a glimpse of non-structural recursion CS 135 Winter 2018 07: Types of recursion 1 Structural vs. general recursion All of the recursion we have done to
More informationModule 8: Binary trees
Module 8: Binary trees Readings: HtDP, Section 14 We will cover the ideas in the text using different examples and different terminology. The readings are still important as an additional source of examples.
More informationCS115 - Module 10 - General Trees
Fall 2017 Reminder: if you have not already, ensure you: Read How to Design Programs, Sections 15 and 16. Arithmetic Expressions Recall with binary trees we could represent an expression containing binary
More informationBalanced Trees. Nate Foster Spring 2019
Balanced Trees Nate Foster Spring 2019 Today s music: Get the Balance Right by Depeche Mode Review Previously in 3110: Streams Today: Balanced trees Running example: Sets module type Set = sig type 'a
More information