Index


!, [2], [3], [4]
;


a-line
aaa
above
above1
accumulator, [2]
    invariant
add, [2], [3]
add-at-end
add-child, [2]
add-to-address-book, [2], [3]
add-to-each
add-to-pi
add-up-3
address-book, [2]
airplane
algebra, [2], [3], [4], [5]
algorithm, [2]
    backtracking
    divide and conquer
    trivial
all-blue-eyed-ancestors, [2], [3]
and, [2], [3], [4]
andmap
answer (cond), [2]
area
area-of-disk, [2]
area-of-ring, [2], [3], [4], [5], [6]
arguments
arithmetic, [2], [3], [4], [5], [6], [7]
    error
    exact, [2], [3]
    fixed-number
    inexact, [2], [3]
arrangements
assf
assignment
atom
atomic data
attendees, [2]
auxiliary function


backtracking, [2], [3]
ball, [2]
base case
bbb
begin
below, [2], [3]
below-ir1
below1
below3
beta (ß ) axiom
Big-O
binary-search-tree, [2]
binary-tree, [2], [3]
blue-eyed-ancestor, [2]
blue-eyed-children
blue-eyed-descendant, [2]
board-ref, [2]
board-set!
body, [2]
boolean
boyfriend, [2], [3], [4], [5], [6]
BST
BT, [2]
build-board, [2]
build-list
build-number
build-vector


campus tour
    bag
    current location
card game
    hand
    suit
CD, [2], [3], [4], [5], [6]
CD
cell
change-number, [2]
change-to-3
check
check-call-back
checked function
checked-area-of-disk, [2], [3]
cheerleader, [2], [3], [4], [5], [6], [7]
chess-board
child, [2], [3]
Church, Alonzo
circle
circle, [2], [3]
circle-pt
claim
    atomic
    compound
Clinger, William
comment
compound data
cond
    answer
    else
    question
cond, [2]
condition
    atomic
    compound
condition (cond), [2]
conditional function
connect
connect-dots
connect-nodes, [2]
cons
constructor, [2], [3]
    generalized, [2]
contains
contains-car
contains-doll, [2], [3], [4]
continuous
contract, [2], [3], [4], [5], [6], [7], [8], [9], [10]
control (MVC)
convertCF, [2]
convertCF-from-map
copy
cost, [2]
costs
count-vowels, [2], [3]
count-vowels-bv
create-dir
create-hand, [2]
create-inex
create-node, [2]


d/dx
data
    atomic
    compound
    functional
    mixed
    union
data analysis, [2], [3], [4], [5]
data definition, [2], [3], [4], [5], [6]
    compound data
    cross-references
    enumerations
    intervals
    mixed data
    mutually recursive
    mutually referential
    parametric
    recursive
    self-referential
    structure
    symbols
deep-list
definition, [2], [3], [4], [5], [6], [7]
    data
    function, [2], [3], [4], [5], [6], [7]
    local
    structure, [2], [3], [4], [5], [6]
    top-level
    variable, [2], [3], [4], [5]
definition window, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27]
design recipe, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12]
    abstraction, [2]
    accumulators
    algorithms
    composing functions, [2]
    compound data, [2]
    intervals, enumerations, [2], [3]
    memory, [2]
    mixed data, [2]
    mutually referential data
    recursive data, [2]
    two inputs
differentiation
dir
    list-of-directories
dir, [2]
dir, [2]
direction
directory
    list-of-files
    list-of-files-and-directories
    root
directory, [2]
directory tree
displacement
displacement, [2]
distance-to-0, [2], [3], [4]
distributivity
DNA
    pattern
domain knowledge, [2]
draw-and-clear
draw-light
draw-polygon, [2]
DVD


e-power
e-taylor
echo-choice
echo-message
effect, [2], [3], [4]
elow2
encapsulation, [2]
entry
entry, [2], [3]
eq-ir, [2]
eq-posn, [2]
equal-posn
equality
    extensional
    intensional
    numeric
    structural
    testing, [2]
equation
    degenerate
    line
    linear combination
    non-linear
    proper
    solution, [2]
    systems of
equation1
error
    error
    logical, [2], [3]
    overflow
    run-time, [2]
    syntax, [2]
    underflow
evaluation, [2], [3], [4], [5], [6], [7]
    context
    effect, [2], [3], [4]
    lambda
    local
    sequencing
examples, [2], [3], [4], [5], [6], [7]
exponent
expression
    and, [2], [3], [4], [5]
    arithmetic
    atomic
    begin
    compound
    conditional, [2], [3], [4], [5]
    local, [2], [3], [4]
    nested, [2], [3], [4]
    numeric
    or, [2]
    set!, [2]
    variable
extract1, [2]


f-make-posn
f-posn-x
f-posn-y
family tree
    ancestor
    descendant
family-tree-node, [2], [3]
file, [2]
    newline
file, [2], [3]
file
file of numbers
file system
file -> list-of-lines
file -> list-of-lines
filter, [2]
filter
filter1, [2], [3], [4]
filter2
find, [2], [3]
find-new-left
find-new-right
find-root, [2]
find-root-tangent
find-route, [2]
find-route/list
first
    first
first-line
fm-make-posn
fm-posn-x
fm-posn-y
fm-set-posn-x
fm-set-posn-y
folder
foldl
foldr
for-interval
formal arguments
fractals
Friedman, Daniel P., [2]
ftn, [2], [3]
function
    application, [2], [3], [4], [5], [6], [7]
    call-back
    checked
    composition, [2]
    continuous
    generic
    initialization
    polymorphic
    root
    table
function definition, [2], [3], [4], [5], [6], [7]
functional abstraction
functions
    mutually recursive


g-series
gcd
gcd-generative
gcd-structural
general-quick-sort
gift-pick
girlfriends
global scope
graph
    directed
    edges
    neighbors
    nodes
    simple, [2]
graph
graphical user interface (GUI)
GUI, [2]
    buttons
    choice menus
    sequences
    text fields
gui-item
gui-table


hand
hand
hangman
    chosen word, [2]
    guess, [2]
    letter, [2]
    status word, [2]
    word
hangman
hangman-guess, [2]
Harper, Robert, [2]
header, [2], [3], [4], [5], [6], [7], [8], [9]
height
hellos
helper function
hide
hours -> wages, [2], [3], [4]
how-many, [2], [3]
how-many-in-list


image
in-interval-1
in-interval-2
in-interval-3
in-place sort
in-place-sort, [2], [3], [4]
increase-salary, [2]
increase-x
increment-sales, [2], [3]
increment-vec-lr
increment-vec-rl
inex
inex -> number
inexact arithmetic
infinite loop
init-address-book
init-traffic-light
init-traffic-light@cmu
init-traffic-light@rice
input
input variables
insert, [2], [3], [4]
integrate
integration, [2]
    adaptive
    Kepler's rule
    trapezoid
interaction, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29]
interest-rate, [2], [3], [4], [5], [6], [7]
interface
interval, [2], [3], [4], [5], [6], [7]
    boundary
invariant
    accumulator
    data
inventory
inventory-record
invert, [2], [3]
IR
ir
ir, [2]
is-5
is-between-5-6
is-between-5-6-or-over-10
is-prime
iterative method
iterative refinement, [2], [3], [4], [5], [6], [7], [8]


Jackson, Michael A.


Kelsey, Richard


Lam
lambda (lambda ) calculus
language level
larger-items
last, [2]
last-occurrence
left-hand side, [2]
length
length-ir
length-lon
letter
lexical scope
list
list-of-3-numbers
list-of-children
list-of-number/name
list-of-numbers
list-of-posns
list-of-symbols, [2], [3]
list-pick
list-sum
list-sum-aux
list=
listof
local, [2], [3], [4]
locally defined
LOFD
lookup, [2]
lookup-node
loop, [2]
lr-vector-sum


mail
mail-message
main function
make-address-book
make-chess-board
make-counter
make-even
make-last-item
make-odd
make-traffic-light, [2]
mantissa
many
map
map
master
maxi, [2], [3]
maxi2
meaning
method
    iterative
    recursive
Meyer, Albert
mid
mid-point
mini
model, [2], [3], [4]
model (MVC)
model-view-control (MVC)
move
move-ball
move-circle
move-rectangle
move-shape
move-until-out, [2]
movie, [2], [3], [4], [5], [6]
mul
mult10
music-item
mutator, [2], [3], [4]
mutually recursive, [2], [3]
mutually referential
my-divide


n-adder
names, [2]
names-from-map
natural-number
neighbor
neighbors, [2]
net pay
new-item
newton
next, [2]
next-color
next-color@cmu
next-color@rice
next@cmu
next@rice
node
    family-tree-node
node, [2], [3]
node, [2], [3], [4], [5]
node-in-a-family-tree
non-empty-list
number
    exact
    inexact
numeric analysis


O
occurrence
    binding
    bound
    free
operation
    primitive, [2], [3], [4], [5]
    relational
operations
or, [2]
order-of (Big-O)
ormap
our-cons, [2], [3]
our-first
our-rest
out-of-bounds
output


pair, [2]
pair, [2]
parameters, [2]
parametric
parent
    list of children
parent, [2]
parent, [2]
partition, [2], [3]
path
pattern
perimeter, [2], [3]
permutation
person
person
personnel
phone-record
pi ([curriculum-Z-G-D-1.gif] )
pixel
pixel-2
place-queen
Plotkin, Gordon
point
poly
polygon
posn
posn, [2], [3]
predicate, [2], [3]
primitive operation, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11]
process-student
product, [2], [3], [4], [5]
product-from-20, [2]
profit
profit, [2]
programming language, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32]
    functional
    object-oriented
programs
proper-blue-eyed-ancestor, [2]
purpose, [2], [3], [4], [5], [6], [7]
purpose statement


qsort
qsort-aux
queen
    threatens
question
question (cond)
quick-sort, [2], [3]
quicksort


re, [2]
record
recursion
    generative, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15]
    natural, [2], [3], [4], [5], [6], [7], [8], [9]
    structural, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14]
recursive method
reduce
Rees, Jonathan
rel-2-abs, [2]
relational operation
relative-2-absolute
relative-2-absolute2
remove
remove-first-line
remove-last, [2], [3]
replace-eol-with
reply
reset, [2]
reset-aux
reset-interval
response
rest
    rest
reveal-list, [2], [3], [4], [5]
revenue
revenue, [2]
rewriting
right-hand side, [2], [3]
root
route-exists, [2], [3], [4], [5], [6], [7]
route-exists-accu
route-exists2
rr
run-time error
running time


scope, [2]
search
    binary
    linear, [2]
search
selector, [2], [3], [4], [5], [6], [7], [8]
semantics
sequence
    arithmetic
    factor
    geometric
    starting point, [2]
    summand
sequence
series
    closed form
    Taylor
series
series-even
series-even1
series-odd
series-odd1
service-manager, [2]
set!, [2], [3]
set-to-2
Sexpr
shape
    circle
        center
        circumference
    perimeter
    polygon
    rectangle
        height
        upper left
        width
    translation
shape, [2], [3], [4]
sharing, [2]
sierpinski, [2]
simple-graph, [2]
simple-graph-node
single point of control
size
Slist
smaller-items, [2]
solitaire
    enabled
sort
    in-place
    insertion
    merge
    quicksort
sort, [2], [3], [4], [5], [6]
sort-aux
sort2-aux
sorted-insert
speed-vector
square, [2]
square, [2], [3], [4]
squared10
squaredgt
star, [2]
star, [2], [3], [4], [5], [6], [7], [8], [9]
state variables
Steele, Guy L., Jr.
string
structure
    constructor, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11]
    mutator, [2], [3]
    predicate, [2], [3]
    selector, [2], [3], [4], [5], [6], [7], [8]
structure definition, [2], [3], [4], [5]
student
student, [2]
subst-teacher
sum, [2], [3], [4], [5], [6], [7], [8]
Sussman, Gerald
swap-x-y, [2], [3]
sweater, [2], [3], [4], [5]
switch, [2]
switch-forever
switch-x
symbol
syntax


table
tabulate-f-up-to-20
tabulate-sin
tabulate-sqrt
Talcott, Carolyn
tape
targets
template, [2], [3], [4], [5], [6]
termination argument
test-for-address-book
test-hours -> wages
testing, [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15]
TL-color
to-blue-eyed-ancestor
transfer
translation
tree
    family-tree-node, [2], [3]
tree
trivial
trivially solvable
type
type variable


unplace-queen
user interface
    graphical
    interactive


variable
    state
variable definition, [2], [3], [4], [5]
variable expression
vec
vec
vec-for-all
vector
    mutation, [2], [3]
    scalar product
vector-sum, [2], [3]
vector-sum-aux, [2], [3]
vector-sum-for-3
vectorof
view (MVC)


wage, [2], [3], [4]
Web page
    embedded
    immediately embedded
Web-document
Web-page, [2], [3]
web=
weekly-wage
wish list
word
WP, [2], [3]