![[previous]](../icons/left.gif)
![[up]](../icons/up.gif)
![[next]](../icons/right.gif)
Next: About this document
Up: No Title
Previous: Moving On
- !
- Alternative Data Definitions for , Alternative Data Definitions for , Taylor Series, Transforming Functions into Accumulator-Style
- ;
- Designing Programs
- a-line
- The Slope of a
- aaa
- Changing VariablesChanging Structures
- above
- Similarities in Functions
- above1
- Similarities in Functions
- accumulator
- Generalizing ProblemsGeneralizing Functions, Designing Accumulator-Style Functions
- invariant
- Accumulator-Style Functions
- add
- Extended Exercise: Evaluating Scheme, Functions that Produce Functions, Functions that Produce Functions
- add-at-end
- Structural Design Recipes and
- add-child
- Collections of Structures with , Collections of Structures with
- add-to-address-book
- Memory for Functions, A First Useful Example, Functions that Change Memory
- add-to-each
- A Problem with Structural
- add-to-pi
- More on the Nature
- add-up-3
- Lists
- address-book
- Abstracting with State Variables, Structural Design Recipes and
- airplane
- Mixing and Distinguishing Data
- algebra
- Errors, Intermezzo 1 Syntax and Semantics, The Meaning of Scheme, The Meaning of Scheme, The Meaning of Advanced
- algorithm
- A New Form of , Binary Search
- trivial
- A New Form of
- divide and conquer
- Sorting Quickly
- backtracking
- Traversing Graphs
- all-blue-eyed-ancestors
- Extended Exercise: Accumulators on , Extended Exercise: Accumulators on , Extended Exercise: Accumulators on
- and
- Booleans and Relations, Booleans and Relations, Extended Exercise: Drawing Simple , Boolean Expressions
- andmap
- Finger Exercises with Abstract
- answer (cond)
- Conditionals and Conditional Functions, The Scheme Grammar
- area
- Variable Definitions
- area-of-disk
- Variables and Programs, Input Errors
- area-of-ring
- Designing Programs, Designing Programs, Designing Programs, Designing Programs, Designing Programs, Programs are Function Plus
- arguments
- The Scheme Grammar
- arithmetic
- Numbers and Arithmetic, Errors, Intermezzo 1 Syntax and Semantics, The Meaning of Scheme, The Meaning of Scheme, Lists, The Meaning of Advanced
- inexact
- Numbers and Arithmetic, DrScheme's Numbers, DrScheme's Numbers
- fixed-number
- Intermezzo 6 The Nature of
- exact
- Numbers and Arithmetic, DrScheme's Numbers, DrScheme's Numbers
- error
- Errors
- arrangements
- Extended Exercise: Rearranging Words
- assf
- Finger Exercises with Abstract
- assignment
- Assignment to Variables
- atom
- Equality and Testing
- atomic data
- StudentsTeachers, and Computers
- attendees
- Composing Functions, Composing Functions
- auxiliary function
- Programs are Function Plus
- backtracking
- Pragmatics of localPart , Pragmatics of localPart , Traversing Graphs
- ball
- Structure Definitions, Modeling a Ball on
- base case
- Designing Functions for Self-Referential
- bbb
- Changing VariablesChanging Structures
- begin
- Intermezzo 7 The Final Syntax
- below
- Similarities in Functions, Similarities in Data Definitions, Similarities in Data Definitions
- below-ir1
- Similarities in Data Definitions
- below1
- Similarities in Functions
- below3
- Designing Abstractions with Functions-as-Values
- beta (
) axiom - The Meaning of Advanced
- Big-O
- The Definition of ``on
- binary-search-tree
- Extended Exercise: Binary Search , Structural Design Recipes and
- binary-tree
- Extended Exercise: Binary Search , Transforming Functions into Accumulator-Style, Structural Design Recipes and
- blue-eyed-ancestor
- Structures in Structures, Structures in Structures
- blue-eyed-children
- Lists of StructuresLists
- blue-eyed-descendant
- Lists of StructuresLists , Lists of StructuresLists
- board-ref
- Extended Exercise: Checking (on) , A First Look at
- board-set!
- Mutable Vectors
- body
- The Scheme Grammar, Syntax of local
- boolean
- Conditional Expressions and Functions
- boyfriend
- Structure Definitions, Data Definitions, Designing Functions for Compound , Structures from Functions, Mutable Functional Structures, Mutable Structures
- BST
- Extended Exercise: Binary Search
- BT
- Extended Exercise: Binary Search , Structural Design Recipes and
- build-board
- Extended Exercise: Checking (on) , A First Look at
- build-list
- Finger Exercises with Abstract
- build-number
- A First Look at
- build-vector
- A First Look at
- campus tour
- current location
- Extended Exercise: Exploring Places
- bag
- Extended Exercise: Exploring Places
- card game
- suit
- Structural Design Recipes and
- hand
- Structural Design Recipes and
- CD
- Structure Definitions, Data Definitions, Designing Functions for Compound , Structures from Functions, Mutable Structures, Mutable Structures, Structural Design Recipes and
- cell
- A First Look at
- change-number
- Structural Design Recipes and , Structural Design Recipes and
- change-to-3
- Assignments and Functions
- check
- Designing Functions for Compound
- check-call-back
- A First Look at
- checked function
- Input Errors
- checked-area-of-disk
- Input Errors, Input Errors, Errors
- cheerleader
- Structure Definitions, Data Definitions, Designing Functions for Compound , Structures from Functions, Mutable Structures, Mutable Structures, Structural Design Recipes and
- chess-board
- Backtracking with State
- child
- Structures in Structures, Extended Exercise: Accumulators on , Structural Design Recipes and
- Church, Alonzo
- The Meaning of Advanced
- circle
- Mixing and Distinguishing Data, Designing Functions for Mixed , Composing FunctionsRevisited, Composing FunctionsRevisited
- circle-pt
- Fractals
- claim
- compound
- Booleans and Relations
- atomic
- Booleans and Relations
- Clinger, William
- The Choice of Scheme
- comment
- Designing Programs
- compound data
- StudentsTeachers, and Computers
- cond
- Conditionals and Conditional Functions, The Scheme Grammar
- question
- Conditionals and Conditional Functions
- else
- Conditionals and Conditional Functions
- answer
- Conditionals and Conditional Functions
- condition
- compound
- Booleans and Relations
- atomic
- Booleans and Relations
- condition (cond)
- Conditionals and Conditional Functions, The Scheme Grammar
- conditional function
- Conditionals and Conditional Functions
- connect
- A First Useful Example
- connect-dots
- Generalizing ProblemsGeneralizing Functions
- connect-nodes
- Collections of Structures with , Collections of Structures with
- cons
- Lists
- constructor
- Structure Definitions, Structure Definitions, Structure Definitions
- generalized
- Fixed-size Number Arithmetic, (, )
- contains
- Similarities in Functions
- contains-car
- Similarities in Functions
- contains-doll
- Processing Lists of Arbitrary , Processing Lists of Arbitrary , Similarities in Functions, Concrete TimeAbstract Time
- continuous
- Binary Search
- contract
- Designing Programs, Designing Programs, Designing Conditional Functions, Designing Functions for Compound , Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Contracts for Abstract and , Abstracting from Examples, Termination
- control (MVC)
- A First Look at
- convertCF
- Abstracting from Examples, Abstracting from Examples
- convertCF-from-map
- Abstracting from Examples
- copy
- Abstracting from Examples
- cost
- Composing Functions, Composing Functions
- costs
- Composing Functions
- count-vowels
- Structural Design Recipes and , Structural Design Recipes and , Structural Design Recipes and
- count-vowels-bv
- Structural Design Recipes and
- create-dir
- Refining Functions and Programs
- create-hand
- Structural Design Recipes and , Structural Design Recipes and
- create-inex
- Fixed-size Number Arithmetic
- create-node
- Collections of Structures with , Collections of Structures with
- d/dx
- The Slope of a
- data
- StudentsTeachers, and Computers
- union
- Designing Functions for Mixed
- mixed
- Designing Functions for Mixed
- functional
- Functions are Values
- compound
- Compound DataPart 1:
- atomic
- StudentsTeachers, and Computers
- data analysis
- Designing Conditional Functions, Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Termination
- data definition
- Data Definitions, Designing Functions for Compound , Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Termination
- symbols
- Symbolic Information
- structure
- Data Definitions
- self-referential
- Data Definitions for Lists
- recursive
- Data Definitions for Lists
- parametric
- Similarities in Data Definitions
- mutually referential
- Lists of StructuresLists
- mutually recursive
- Lists of StructuresLists
- mixed data
- Designing Functions for Mixed
- intervals
- Designing Conditional Functions
- enumerations
- Symbolic Information
- cross-references
- Designing Functions for Mutually
- compound data
- Data Definitions
- deep-list
- Processing Natural Numbers of
- definition
- Designing Programs, Designing Conditional Functions, Designing Functions for Compound , Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Termination
- variable
- Programs are Function Plus , Variable Definitions, (, ), Memory for Functions, (, )
- top-level
- Syntax of local
- structure
- (, Structure Definitions, ), Data Definitions, Mixing and Distinguishing Data, (, ), (, )
- local
- Syntax of local
- function
- Programs are Function Plus , Programs are Function Plus , Composing Functions, Variable Definitions, The Scheme Grammar, (, Intermezzo 4 Defining Functions on , )
- data
- Data Definitions
- definition window
- The Choice of Scheme , Errors, Errors, Errors, Designing Programs, Functions that Test Conditions, Mixing and Distinguishing Data, The Meaning of Scheme, The Meaning of Scheme, The Meaning of Scheme, Structure Definitions, Extended Exercise: Evaluating Scheme, Extended Exercise: Evaluating Scheme, Equality and Testing, Equality and Testing, Organizing Programs with local, Syntax of local, Semantics of local, Semantics of local, Lexical Scope and Block , Syntax and Semantics, Modeling a Ball on , Making Choices, Making Choices, Making Choices, DrScheme's Numbers, Functions that Change Memory
- design recipe
- (, ), (, ), The Parts of the , The Parts of the , (, Designing Programs, ), Symbolic Information, Processing Lists of Arbitrary , Processing Lists of Arbitrary , Pragmatics of localPart , Pragmatics of localPart , Similarities in Functions
- two inputs
- (, )
- recursive data
- (, ), More Self-referential Data Definitions
- mutually referential data
- (, )
- mixed data
- (, ), Processing Lists of Arbitrary
- memory
- (, ), (, )
- intervals, enumerations
- (, ), Symbolic Information, Extended Exercise: Drawing Simple
- compound data
- (, ), Processing Lists of Arbitrary
- composing functions
- (, ), (, )
- algorithms
- (, )
- accumulators
- (, )
- abstraction
- (, ), (, )
- differentiation
- The Slope of a
- dir
- Defining Data Classes and , Defining Data Classes and , Defining Data Classes and , Defining Data Classes and
- list-of-directories
- Defining Data Classes and
- direction
- Pragmatics of localPart
- directory
- Data Analysis, Defining Data Classes and , Defining Data Classes and
- root
- Data Analysis
- list-of-files-and-directories
- Defining Data Classes and
- list-of-files
- Defining Data Classes and
- directory tree
- Data Analysis
- displacement
- A First Look at , A First Look at , A First Look at
- distance-to-0
- Structures, Structures, Mixing and Distinguishing Data, Mixing and Distinguishing Data
- distributivity
- Function Simplification
- DNA
- pattern
- Exercises on Processing Two
- domain knowledge
- Designing Programs, Designing Programs
- draw-and-clear
- Modeling a Ball on
- draw-light
- Abstracting with State Variables
- draw-polygon
- Generalizing ProblemsGeneralizing Functions, Generalizing ProblemsGeneralizing Functions
- DVD
- Structural Design Recipes and
- e-power
- Taylor Series
- e-taylor
- Taylor Series
- echo-choice
- A First Look at
- echo-message
- A First Look at
- effect
- Extended Exercise: Drawing Simple , Extended Exercise: Drawing Simple , Assignment to Variables, Functions that Change Memory
- elow2
- Designing Abstractions with Functions-as-Values
- encapsulation
- Pragmatics of localPart , Abstracting with State Variables
- entry
- Structure Definitions, Abstracting with State Variables, Structural Design Recipes and , Structural Design Recipes and
- eq-ir
- Similarities in Data Definitions, Contracts for Abstract and
- eq-posn
- Intensional Equality, Intensional Equality
- equal-posn
- Extensional Equality
- equality
- testing
- Functions that Test Conditions, Equality and Testing
- structural
- Equality and Testing
- numeric
- Booleans and Relations
- intensional
- Intensional Equality
- extensional
- Extensional Equality
- equation
- systems of
- Extended Exercise: Gaussian Elimination
- solution
- Functions that Test Conditions, Designing Conditional Functions
- proper
- Designing Conditional Functions
- non-linear
- Binary Search
- linear combination
- Exercises on Processing Two
- line
- Newton's Method
- degenerate
- Designing Conditional Functions
- equation1
- Functions that Test Conditions
- error
- (, )
- underflow
- Underflow
- syntax
- (, ), Errors
- run-time
- Errors, Errors
- overflow
- Overflow
- logical
- Errors, Errors, Errors
- error
- Input Errors
- evaluation
- (, ), Booleans and Relations, Booleans and Relations, Extended Exercise: Drawing Simple , The Meaning of Scheme, The Meaning of Scheme, Scope and Semantics of
- sequencing
- Sequencing Expression Evaluations
- local
- Semantics of local
- lambda
- Scope and Semantics of
- effect
- Assignment to Variables, (, ), (, ), Mutable Vectors
- context
- Semantics of local
- examples
- Designing Programs, Designing Conditional Functions, Designing Functions for Compound , Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Termination
- exponent
- Fixed-size Number Arithmetic
- expression
- variable
- Variables and Programs
- set!
- Assignment to Variables, Intermezzo 7 The Final Syntax
- or
- Booleans and Relations, Boolean Expressions
- numeric
- Extended Exercise: Evaluating Scheme
- nested
- Numbers and Arithmetic, Structures, The Meaning of Scheme, Errors
- local
- Syntax of local, Traversing Graphs, A Problem with Structural , Encapsulation
- conditional
- (, Conditionals and Conditional Functions, ), The Scheme Grammar, The Scheme Grammar, The Meaning of Scheme
- compound
- Errors
- begin
- Intermezzo 7 The Final Syntax
- atomic
- Errors
- arithmetic
- Numbers and Arithmetic
- and
- Booleans and Relations, Booleans and Relations, Extended Exercise: Drawing Simple , Extended Exercise: Hangman, Boolean Expressions
- extract1
- Lists that Contain Structures, Pragmatics of localPart
- f-make-posn
- Structures from Functions
- f-posn-x
- Structures from Functions
- f-posn-y
- Structures from Functions
- family tree
- descendant
- Lists of StructuresLists
- ancestor
- Structures in Structures
- family-tree-node
- Structures in Structures, Structural Design Recipes and , Collections of Structures with
- file
- Data Analysis, Defining Data Classes and , Defining Data Classes and , Defining Data Classes and , From Files to Lines, From Files to Lines
- newline
- From Files to Lines
- file of numbers
- From Files to Lines
- file system
- Data Analysis
- file -> list-of-lines
- From Files to Lines, From Files to Lines
- filter
- Similarities in Functions, Finger Exercises with Abstract , Finger Exercises with Abstract
- filter1
- Similarities in Functions, Similarities in Functions, Similarities in Functions, Contracts for Abstract and
- filter2
- Designing Abstractions with Functions-as-Values
- find
- Similarities in Data Definitions, Contracts for Abstract and , Intermezzo 4 Defining Functions on
- find-new-left
- More Practice with Vectors
- find-new-right
- More Practice with Vectors
- find-root
- Binary Search, Binary Search
- find-root-tangent
- Newton's Method
- find-route
- Traversing Graphs, Traversing Graphs
- find-route/list
- Traversing Graphs
- first
- first
- Lists
- first-line
- From Files to Lines
- fm-make-posn
- Mutable Functional Structures
- fm-posn-x
- Mutable Functional Structures
- fm-posn-y
- Mutable Functional Structures
- fm-set-posn-x
- Mutable Functional Structures
- fm-set-posn-y
- Mutable Functional Structures
- folder
- Data Analysis
- foldl
- Finger Exercises with Abstract
- foldr
- Finger Exercises with Abstract
- for-interval
- More Practice with Vectors
- formal arguments
- Designing Programs
- fractals
- Fractals
- Friedman, Daniel P.
- Design Recipes, Structure Definitions
- ftn
- Extended Exercise: Accumulators on , Structural Design Recipes and , Collections of Structures with
- function
- The Scheme Grammar
- table
- Binary Search
- root
- Binary Search
- polymorphic
- Similarities in Data Definitions
- initialization
- Functions that Initialize Memory
- generic
- Similarities in Data Definitions
- continuous
- Binary Search
- composition
- Programs are Function Plus , Programs are Function Plus
- checked
- Input Errors
- call-back
- A First Look at
- application
- Variables and Programs, Variables and Programs, The Scheme Grammar, The Scheme Grammar, The Meaning of Scheme, Syntax and Semantics, Syntax and Semantics
- function definition
- Programs are Function Plus , Programs are Function Plus , Composing Functions, Variable Definitions, The Scheme Grammar, (, Intermezzo 4 Defining Functions on , )
- functional abstraction
- Similarities in Functions
- functions
- mutually recursive
- Lists of StructuresLists
- g-series
- Transforming Functions into Accumulator-Style
- gcd
- Making Choices
- gcd-generative
- Making Choices
- gcd-structural
- Making Choices
- general-quick-sort
- Sorting Quickly
- gift-pick
- Exercises on Processing Two
- girlfriends
- Mutable Structures
- global scope
- Lexical Scope and Block
- graph
- A First Look at
- simple
- A Problem with Generative , A Problem with Generative
- nodes
- Traversing Graphs
- neighbors
- Traversing Graphs
- edges
- Traversing Graphs
- directed
- Traversing Graphs
- graphical user interface (GUI)
- A First Look at
- GUI
- A First Look at , A First Look at
- text fields
- A First Look at
- sequences
- Sequences and Series
- choice menus
- A First Look at
- buttons
- A First Look at
- gui-item
- A First Look at
- gui-table
- A First Look at
- hand
- Structural Design Recipes and , Structural Design Recipes and
- hangman
- State Changes from User
- word
- Extended Exercise: Hangman
- status word
- Extended Exercise: Hangman, Exercises on Processing Two
- letter
- Extended Exercise: Hangman, Exercises on Processing Two
- guess
- Extended Exercise: Hangman, Exercises on Processing Two
- chosen word
- Extended Exercise: Hangman, Exercises on Processing Two
- hangman-guess
- State Changes from User , State Changes from User
- Harper, Robert
- Design Recipes, Structure Definitions
- header
- Designing Programs, Designing Programs, Designing Conditional Functions, Designing Functions for Compound , Designing Functions for Mixed , The Scheme Grammar, Designing Functions for Self-Referential , Designing Functions for Mutually , Termination
- height
- Transforming Functions into Accumulator-Style
- hellos
- Processing Natural Numbers of
- hide
- The Grammar of Advanced
- hours -> wages
- Functions that Produce Lists, Functions that Produce Lists, Processing Two Lists Simultaneously: , Processing Two Lists Simultaneously:
- how-many
- Designing Functions for Self-Referential , Designing Functions for Self-Referential , Concrete TimeAbstract Time
- how-many-in-list
- Errors in Advanced Scheme
- image
- Symbolic Information
- in-interval-1
- Functions that Test Conditions
- in-interval-2
- Functions that Test Conditions
- in-interval-3
- Functions that Test Conditions
- in-place sort
- More Practice with Vectors
- in-place-sort
- More Practice with Vectors, More Practice with Vectors, More Practice with Vectors, More Practice with Vectors
- increase-salary
- Structural Design Recipes and , Structural Design Recipes and
- increase-x
- Assignments and Functions
- increment-sales
- Structure Definitions, Structure Definitions, Structure Definitions
- increment-vec-lr
- More Practice with Vectors
- increment-vec-rl
- More Practice with Vectors
- inex
- Fixed-size Number Arithmetic
- inex -> number
- Fixed-size Number Arithmetic
- inexact arithmetic
- Fixed-size Number Arithmetic
- infinite loop
- Termination
- init-address-book
- Functions that Initialize Memory
- init-traffic-light
- Functions that Initialize Memory
- init-traffic-light@cmu
- Abstracting with State Variables
- init-traffic-light@rice
- Abstracting with State Variables
- input
- Variables and Programs
- input variables
- Designing Programs
- insert
- Recursive Auxiliary Functions, Recursive Auxiliary Functions, Pragmatics of localPart , More Practice with Vectors
- integrate
- The Area Under a
- integration
- The Area Under a , Binary Search
- trapezoid
- The Area Under a
- Kepler's rule
- The Area Under a
- adaptive
- Binary Search
- interaction
- The Choice of Scheme , Numbers and Arithmetic, Variables and Programs, Errors, Errors, Errors, Structures, Structure Definitions, The Meaning of Scheme, Extended Exercise: Evaluating Scheme, Extended Exercise: Evaluating Scheme, Equality and Testing, Equality and Testing, Semantics of local, A First Look at , A First Look at , Making Choices, Making Choices, Memory for Functions, Memory for Functions, A First Useful Example, A First Useful Example, The Need for Memory, The Need for Memory, State Changes from Recursion, Finger Exercises on State , Abstracting with State Variables, Abstracting with State Variables, Abstracting with State Variables
- interest-rate
- Conditionals and Conditional Functions, Conditionals and Conditional Functions, Conditionals and Conditional Functions, Designing Conditional Functions, Designing Conditional Functions, Designing Conditional Functions, Designing Conditional Functions
- interface
- Abstracting with State Variables
- interval
- Functions that Test Conditions, Designing Conditional Functions, Designing Functions for Compound , Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Termination
- boundary
- Functions that Test Conditions
- invariant
- data
- Extended Exercise: Binary Search
- accumulator
- Accumulator-Style Functions
- inventory
- Lists that Contain Structures
- inventory-record
- Lists that Contain Structures
- invert
- Recognizing the Need for , Accumulator-Style Functions, Accumulator-Style Functions
- IR
- Lists that Contain Structures, Lists that Contain Structures, Similarities in Data Definitions, Similarities in Data Definitions
- is-5
- Functions that Test Conditions
- is-between-5-6
- Functions that Test Conditions
- is-between-5-6-or-over-10
- Functions that Test Conditions
- is-prime
- Transforming Functions into Accumulator-Style
- iterative method
- A New Form of
- iterative refinement
- Design Recipes, The Parts of the , Extended Exercise: Moving Circles , More on Processing Simple , (, Development through Iterative Refinement, ), Defining Data Classes and , Extended Exercise: Exploring Places
- Jackson, Michael A.
- Design Recipes
- Kelsey, Richard
- The Choice of Scheme
- Lam
- Extended Exercise: Accumulators on
- lambda (
) calculus - The Meaning of Advanced
- language level
- The Choice of Scheme
- larger-items
- Sorting Quickly
- last
- Generalizing ProblemsGeneralizing Functions, Generalizing ProblemsGeneralizing Functions
- last-occurrence
- Pragmatics of localPart
- left-hand side
- The Scheme Grammar, Assignment to Variables
- length
- Similarities in Data Definitions
- length-ir
- Similarities in Data Definitions
- length-lon
- Similarities in Data Definitions
- letter
- Structural Design Recipes and
- lexical scope
- Lexical Scope and Block
- list-of-3-numbers
- Lists
- list-of-children
- Lists of StructuresLists
- list-of-number/name
- Extended Exercise: Binary Search
- list-of-numbers
- More on Processing Simple
- list-of-posns
- Generalizing ProblemsGeneralizing Functions
- list-of-symbols
- Data Definitions for Lists , Designing Functions for Self-Referential , Processing Two Lists Simultaneously:
- list-pick
- Processing Two Lists Simultaneously:
- list-sum
- A First Look at
- list-sum-aux
- A First Look at
- list=
- Equality and Testing
- listof
- Similarities in Data Definitions
- local
- Syntax of local, Traversing Graphs, A Problem with Structural , Encapsulation
- locally defined
- Syntax of local
- LOFD
- Defining Data Classes and
- lookup
- Memory for Functions, A First Useful Example
- lookup-node
- Collections of Structures with
- loop
- Termination, More Practice with Vectors
- lr-vector-sum
- A First Look at
- mail
- Recursive Auxiliary Functions
- mail-message
- Recursive Auxiliary Functions
- main function
- Programs are Function Plus
- make-address-book
- Abstracting with State Variables
- make-chess-board
- Backtracking with State
- make-counter
- The Meaning of Advanced
- make-even
- Sequences and Series
- make-last-item
- Recognizing the Need for
- make-odd
- Sequences and Series
- make-traffic-light
- Abstracting with State Variables, Abstracting with State Variables
- mantissa
- Fixed-size Number Arithmetic
- many
- Transforming Functions into Accumulator-Style
- map
- Abstracting from Examples, Finger Exercises with Abstract
- master
- Initializing State
- max
- Pragmatics of localPart , Similarities in Functions, Concrete TimeAbstract Time
- max2
- Concrete TimeAbstract Time
- meaning
- Intermezzo 1 Syntax and Semantics
- method
- recursive
- A New Form of
- iterative
- A New Form of
- Meyer, Albert
- Data Definitions
- mid
- Fractals
- mid-point
- Fractals
- min
- Similarities in Functions
- model
- Development through Iterative Refinement, Defining Data Classes and , Defining Data Classes and , Defining Data Classes and
- model (MVC)
- A First Look at
- model-view-control (MVC)
- A First Look at
- move
- Structural Design Recipes and
- move-ball
- Modeling a Ball on
- move-circle
- Extended Exercise: Moving Circles
- move-rectangle
- Extended Exercise: Moving Circles
- move-shape
- Structural Design Recipes and
- move-until-out
- Modeling a Ball on , Modeling a Ball on
- movie
- Structure Definitions, Structure Definitions, Data Definitions, Designing Functions for Compound , Structures from Functions, Mutable Structures
- mul
- Extended Exercise: Evaluating Scheme
- mult10
- Pragmatics of localPart
- music-item
- Structural Design Recipes and
- mutator
- Mutable Structures, Mutable Structures, Mutable Structures, Changing VariablesChanging Structures
- mutually recursive
- Lists of StructuresLists , Lists of StructuresLists , Lists of StructuresLists
- mutually referential
- Lists of StructuresLists
- my-divide
- Errors
- n-adder
- Abstracting from Examples
- names
- Abstracting from Examples, Abstracting from Examples
- names-from-map
- Abstracting from Examples
- natural-number
- Defining Natural Numbers
- neighbor
- A Problem with Generative
- neighbors
- A First Look at , A First Look at
- net pay
- Designing Conditional Functions
- new-item
- A First Look at
- newton
- Newton's Method
- next
- Extended Exercise: Drawing Simple , Functions that Change Memory
- next-color
- Memory and State Variables
- next-color@cmu
- Abstracting with State Variables
- next-color@rice
- Abstracting with State Variables
- next@cmu
- Abstracting with State Variables
- next@rice
- Abstracting with State Variables
- node
- Extended Exercise: Binary Search , Traversing Graphs, A First Look at , A Problem with Generative , Transforming Functions into Accumulator-Style, Structural Design Recipes and , Collections of Structures with , Collections of Structures with
- family-tree-node
- Collections of Structures with
- node-in-a-family-tree
- Extended Exercise: Accumulators on
- non-empty-list
- Similarities in Data Definitions
- number
- StudentsTeachers, and Computers
- inexact
- Numbers and Arithmetic
- exact
- Numbers and Arithmetic
- numeric analysis
- DrScheme's Numbers
- O
- The Definition of ``on
- occurrence
- free
- Lexical Scope and Block
- bound
- Lexical Scope and Block
- binding
- Lexical Scope and Block
- operation
- relational
- Booleans and Relations
- primitive
- StudentsTeachers, and Computers, Numbers and Arithmetic, Variables and Programs, Extended Exercise: Drawing Simple , The Scheme Vocabulary
- operations
- StudentsTeachers, and Computers
- or
- Booleans and Relations, Boolean Expressions
- order-of (Big-O)
- The Definition of ``on
- ormap
- Finger Exercises with Abstract
- our-cons
- Lists, Lists, Lists
- our-first
- Lists
- our-rest
- Lists
- out-of-bounds
- Modeling a Ball on
- output
- Variables and Programs
- pair
- Lists, Similarities in Data Definitions, Similarities in Data Definitions, A Problem with Generative
- parameters
- Designing Programs, The Scheme Grammar
- parametric
- Similarities in Data Definitions
- parent
- Lists of StructuresLists , Lists of StructuresLists , Designing Functions for Mutually , Structural Design Recipes and
- list of children
- Designing Functions for Mutually
- partition
- More Practice with Vectors, More Practice with Vectors, More Practice with Vectors
- path
- Pragmatics of localPart
- pattern
- Similarities in Definitions
- perimeter
- Mixing and Distinguishing Data, Designing Functions for Mixed , Designing Functions for Mixed
- permutation
- Extended Exercise: Rearranging Words
- person
- Collections of Structures with , Collections of Structures with
- personnel
- Structural Design Recipes and
- phone-record
- Processing Two Lists Simultaneously:
- pi (
) - Taylor Series
- pixel
- Structures
- pixel-2
- Mixing and Distinguishing Data
- place-queen
- Backtracking with State
- Plotkin, Gordon
- The Meaning of Advanced
- point
- Structure Definitions
- poly
- The Meaning of Scheme
- polygon
- Generalizing ProblemsGeneralizing Functions
- posn
- Structure Definitions, Data Definitions, Mixing and Distinguishing Data, Structures from Functions
- predicate
- Mixing and Distinguishing Data, Structure Definitions, Structure Definitions
- primitive operation
- StudentsTeachers, and Computers, Numbers and Arithmetic, Numbers and Arithmetic, Variables and Programs, Structures, Extended Exercise: Drawing Simple , The Scheme Vocabulary, The Scheme Vocabulary, The Scheme Grammar, Boolean Expressions, Structure Definitions
- process-student
- Designing Functions for Compound
- product
- Alternative Data Definitions for , Alternative Data Definitions for , Abstracting from Examples, Note: Designing Abstractions from , Designing Abstractions with Functions-as-Values
- product-from-20
- Alternative Data Definitions for , Alternative Data Definitions for
- profit
- Composing Functions, Composing Functions, Composing Functions
- programming language
- StudentsTeachers, and Computers, StudentsTeachers, and Computers, StudentsTeachers, and Computers, StudentsTeachers, and Computers, Numbers and Arithmetic, Errors, Designing Programs, Symbolic Information, Designing Functions for Compound , Intermezzo 1 Syntax and Semantics, Intermezzo 1 Syntax and Semantics, Alternative Data Definitions for , Designing Complex Programs, Intermezzo 2 List Abbreviations, Similarities in Definitions, Abstracting from Examples, Abstraction and a Single , Note: Designing Abstractions from , Making Choices, A First Look at , Extended Exercise: Missionaries and , Intermezzo 6 The Nature of , DrScheme's Numbers, Simple Assignments at Work, Intermezzo 7 The Final Syntax , Changing VariablesChanging Structures, Structural Design Recipes and , Intensional Equality, More Practice with Vectors, More Practice with Vectors, Moving On, Moving On
- object-oriented
- Similarities in Definitions
- functional
- Similarities in Definitions
- programs
- StudentsTeachers, and Computers
- proper-blue-eyed-ancestor
- Structures in Structures, Structures in Structures
- purpose
- Designing Programs, Designing Conditional Functions, Designing Functions for Compound , Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Termination
- purpose statement
- Designing Programs
- qsort
- More Practice with Vectors
- qsort-aux
- More Practice with Vectors
- queen
- threatens
- Extended Exercise: Checking (on)
- question
- The Scheme Grammar
- question (cond)
- Conditionals and Conditional Functions
- quick-sort
- Finger Exercises with Abstract , Sorting Quickly, Sorting Quickly, Termination
- re
- Extended Exercise: More on , Mutable Structures
- record
- Structural Design Recipes and
- recursion
- Concrete TimeAbstract Time
- structural
- A New Form of , A New Form of , Sorting Quickly, Sorting Quickly, Designing Algorithms, Structural versus Generative Recursion, (, Making Choices, ), Intermezzo 5 The Cost of , A Problem with Structural , Recognizing the Need for , State Changes from Recursion, Changing StructuresVectors, and , Programming
- natural
- Designing Functions for Self-Referential , Designing Functions that Consume , Pragmatics of localPart , Pragmatics of localPart , Pragmatics of localPart , Similarities in Functions, Termination, Concrete TimeAbstract Time
- generative
- A New Form of , A New Form of , A New Form of , Sorting Quickly, (, Termination, ), (, ), Intermezzo 5 The Cost of , A Problem with Generative , A Problem with Generative , State Changes from Recursion, State Changes from Recursion, Changing StructuresVectors, and , Collections of Structures with , Programming
- recursive method
- A New Form of
- reduce
- Note: Designing Abstractions from
- Rees, Jonathan
- The Choice of Scheme
- rel-2-abs
- A Problem with Structural , A Problem with Structural
- relational operation
- Booleans and Relations
- relative-2-absolute
- A Problem with Structural
- relative-2-absolute2
- A Problem with Structural
- remove
- A First Useful Example
- remove-first-line
- From Files to Lines
- remove-last
- Structural Design Recipes and , Structural Design Recipes and , Structural Design Recipes and
- replace-eol-with
- Processing Two Lists Simultaneously:
- reply
- Symbolic Information
- reset
- Structural Design Recipes and , Structural Design Recipes and
- reset-aux
- Structural Design Recipes and
- reset-interval
- Structural Design Recipes and
- response
- State Changes from User
- rest
- rest
- Lists
- reveal-list
- State Changes from User , State Changes from User , State Changes from User , State Changes from Recursion, State Changes from Recursion
- revenue
- Composing Functions, Composing Functions, Composing Functions
- rewriting
- The Meaning of Advanced
- right-hand side
- The Scheme Grammar, Syntax of local, Assignment to Variables
- root
- Binary Search
- route-exists
- A Problem with Generative , A Problem with Generative , State Changes from Recursion, Collections of Structures with , Collections of Structures with , Collections of Structures with , Collections of Structures with
- route-exists-accu
- A Problem with Generative
- route-exists2
- A Problem with Generative
- rr
- From Files to Lines
- run-time error
- Errors
- running time
- Concrete TimeAbstract Time
- scope
- Lexical Scope and Block , Lexical Scope and Block
- search
- Recursive Auxiliary Functions
- linear
- Recursive Auxiliary Functions, Binary Search
- binary
- Binary Search
- selector
- Structure Definitions, Structure Definitions, Designing Functions for Compound , Structure Definitions, Structure Definitions, Mutable Structures, Structures from Functions, Mutable Structures
- semantics
- Intermezzo 1 Syntax and Semantics
- sequence
- Collections of Structures with
- summand
- Arithmetic Sequences and Series
- starting point
- Arithmetic Sequences and Series, Geometric Sequences and Series
- geometric
- Geometric Sequences and Series
- factor
- Geometric Sequences and Series
- arithmetic
- Arithmetic Sequences and Series
- series
- Sequences and Series, Sequences and Series
- Taylor
- Taylor Series
- closed form
- Arithmetic Sequences and Series
- series-even
- Sequences and Series
- series-even1
- Sequences and Series
- series-odd
- Sequences and Series
- series-odd1
- Sequences and Series
- service-manager
- Abstracting with State Variables, Abstracting with State Variables
- set!
- Assignment to Variables, Intermezzo 7 The Final Syntax , Changing VariablesChanging Structures
- set-to-2
- Changing VariablesChanging Structures
- Sexpr
- Equality and Testing
- shape
- Mixing and Distinguishing Data, Designing Functions for Mixed , Composing FunctionsRevisited, Extended Exercise: Moving Shapes, Structural Design Recipes and
- translation
- Extended Exercise: Moving Circles
- rectangle
- Extended Exercise: Moving Circles
- polygon
- Generalizing ProblemsGeneralizing Functions
- perimeter
- Mixing and Distinguishing Data
- circle
- Extended Exercise: Moving Circles
- sharing
- Mutable Structures, Changing VariablesChanging Structures
- sierpinski
- Fractals, Fractals
- simple-graph
- A Problem with Generative , Collections of Structures with
- simple-graph-node
- Collections of Structures with
- single point of control
- Abstraction and a Single
- size
- Lists in Lists
- Slist
- Equality and Testing
- smaller-items
- Sorting Quickly, Termination
- solitaire
- enabled
- Extended Exercise: Board Solitaire
- sort
- Recursive Auxiliary Functions, Recursive Auxiliary Functions, Pragmatics of localPart , Pragmatics of localPart , Lexical Scope and Block , Similarities in Functions
- quicksort
- Sorting Quickly
- merge
- Termination
- insertion
- Recursive Auxiliary Functions
- in-place
- More Practice with Vectors
- sort-aux
- More Practice with Vectors
- sort2-aux
- More Practice with Vectors
- sorted-insert
- Structural Design Recipes and
- speed-vector
- Input Errors
- square
- Mixing and Distinguishing Data, Designing Functions for Mixed , Composing FunctionsRevisited, Composing FunctionsRevisited, Structural Design Recipes and , Structural Design Recipes and
- squared10
- Similarities in Functions
- squared
- Similarities in Functions
- star
- Structure Definitions, Data Definitions, Mixing and Distinguishing Data, Pragmatics of localPart , Pragmatics of localPart , Mutable Structures, Mutable Structures, Mutable Structures, Mutable Structures, Mutable Structures, Mutable Structures
- state variables
- Memory and State Variables
- Steele, Guy L., Jr.
- The Meaning of Advanced
- string
- Symbolic Information
- structure
- Compound DataPart 1:
- selector
- Structure Definitions, Structure Definitions, Designing Functions for Compound , Structure Definitions, Structure Definitions, Mutable Structures, Structures from Functions, Mutable Structures
- predicate
- Mixing and Distinguishing Data, Structure Definitions, Structure Definitions
- mutator
- Mutable Structures, Mutable Structures, Mutable Structures
- constructor
- Structure Definitions, Structure Definitions, Structure Definitions, Structure Definitions, Lists, Mutable Structures, Structures from Functions, Structures from Functions, Mutable Structures, Why Mutate Structures, Collections of Structures with
- structure definition
- (, ), Data Definitions, Mixing and Distinguishing Data, (, ), (, )
- student
- Designing Functions for Compound , Designing Functions for Compound , Designing Functions for Compound
- subst-teacher
- Designing Functions for Compound
- sum
- More on Processing Simple , More on Processing Simple , Lists that Contain Structures, Abstracting from Examples, Note: Designing Abstractions from , Designing Abstractions with Functions-as-Values, Transforming Functions into Accumulator-Style, Transforming Functions into Accumulator-Style
- Sussman, Gerald
- The Meaning of Advanced
- swap-x-y
- Assignments and Functions, Assignments and Functions, Assignments and Functions
- sweater
- Structure Definitions, Data Definitions, Designing Functions for Compound , Structures from Functions, Mutable Structures
- switch
- State Changes from Recursion, State Changes from Recursion
- switch-forever
- State Changes from Recursion
- switch-x
- Assignments and Functions
- symbol
- Symbolic Information
- syntax
- Intermezzo 1 Syntax and Semantics
- table
- Binary Search
- tabulate-f-up-to-20
- Alternative Data Definitions for
- tabulate-sin
- Abstracting from Examples
- tabulate-sqrt
- Abstracting from Examples
- Talcott, Carolyn
- Structure Definitions
- tape
- Structural Design Recipes and
- targets
- Finger Exercises with Symbols
- template
- Designing Functions for Compound , Designing Functions for Compound , Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Termination
- termination argument
- Termination
- test-for-address-book
- Functions that Change Memory
- test-hours -> wages
- Equality and Testing
- testing
- Designing Programs, Functions that Test Conditions, Functions that Test Conditions, Designing Conditional Functions, Designing Functions for Compound , Designing Functions for Mixed , Designing Functions for Self-Referential , Designing Functions for Mutually , Equality and Testing, Termination, Extended Exercise: Missionaries and , Functions that Change Memory, Structural Design Recipes and , Intensional Equality, Collections of Structures with
- TL-color
- Memory and State Variables
- to-blue-eyed-ancestor
- Pragmatics of localPart
- transfer
- Designing Functions for Compound
- translation
- Extended Exercise: Moving Circles
- tree
- Transforming Functions into Accumulator-Style
- family-tree-node
- Structures in Structures, Structural Design Recipes and , Collections of Structures with
- trivial
- A New Form of
- trivially solvable
- A New Form of
- type
- Contracts for Abstract and
- type variable
- Similarities in Data Definitions
- unplace-queen
- Backtracking with State
- user interface
- A First Look at
- interactive
- Finger Exercises on State
- graphical
- A First Look at
- variable
- state
- Memory and State Variables
- variable definition
- Programs are Function Plus , Variable Definitions, (, ), Memory for Functions, (, )
- variable expression
- Variables and Programs
- vec
- Input Errors, Input Errors
- vec-for-all
- Structural Design Recipes and
- vector
- A First Look at
- scalar product
- A First Look at
- mutation
- Mutable Vectors, (, ), More Practice with Vectors
- vector-sum
- A First Look at , A First Look at , A First Look at
- vector-sum-aux
- A First Look at , A First Look at , A First Look at
- vector-sum-for-3
- A First Look at
- vectorof
- Structural Design Recipes and
- view (MVC)
- A First Look at
- wage
- Word Problems, Errors, Functions that Produce Lists, Functions that Produce Lists
- Web page
- immediately embedded
- Lists in Lists
- embedded
- Lists in Lists
- Web-document
- Extended Exercise: More on
- Web-page
- Lists in Lists, Extended Exercise: More on , Equality and Testing
- web=
- Equality and Testing
- weekly-wage
- Processing Two Lists Simultaneously:
- wish list
- Designing Complex Programs
- word
- Extended Exercise: Rearranging Words
- WP
- Lists in Lists, Extended Exercise: More on , Equality and Testing
PLT