on complex numbers
on intervals
on polynomials, see polynomial arithmetic
on power series, [2]
on rational numbers
primitive procedures for
articles
ASCII code
assemble
, [2]
assembler, [2]
assert!
(query interpreter)
assertion
implicit
assign
(in register machine)
simulating
storing label in register
assign-reg-name
assign-value-exp
assignment, see also
set!
benefits of
bugs associated with, [2]
costs of
assignment operator, see also
set!
assignment-value
assignment-variable
assignment?
assoc
atan
(primitive procedure)
atomic operations supported in hardware
atomic requirement for
test-and-set!
attach-tag
using Scheme data types
augend
automagically
automatic search,
see also search
history of
automatic storage allocation
average
average damping
average-damp
averager
(constraint)
B-tree
backquote
backtracking,
see also nondeterministic computing
Backus, John
Baker, Henry G., Jr.
balanced binary tree, see also binary tree
balanced mobile
bank account, [2]
exchanging balances
joint, [2]
joint, modeled with streams
joint, with concurrent access
password-protected
serialized
stream model
transferring money
barrier synchronization
Barth, John
Basic
restrictions on compound data
weakness in handling compound objects
Batali, John Dean
begin
(special form)
implicit in consequent of
cond
and in procedure body
begin-actions
begin?
below
, [2]
Bertrand’s Hypothesis
beside
, [2]
bignum
binary numbers, addition of,
see adder
binary search
binary tree
balanced
converting a list to a
converting to a list
for Huffman encoding
represented with lists
sets represented as
table structured as
bind
binding
deep
binomial coefficients
black box
block structure, [2]
in environment model
in query language
blocked process
body of a procedure
Bolt Beranek and Newman Inc.
Borning, Alan
Borodin, Alan
bound variable
box-and-pointer notation
end-of-list marker
branch
(in register machine)
simulating
branch of a tree
branch-dest
breakpoint
broken heart
bug
capturing a free variable
order of assignments
side effect with aliasing
bureaucracy
Buridan, Jean
busy-waiting
C
compiling Scheme into
error handling, [2]
recursive procedures
restrictions on compound data
Scheme interpreter written in, [2]
ca...r
cache-coherence protocols
cadr
calculator, fixed points with
call-by-name argument passing, [2]
call-by-need argument passing, [2]
memoization and
call-each
cancer of the semicolon
canonical form, for polynomials
capturing a free variable
car
(primitive procedure)
axiom for
implemented with vectors
as list operation
origin of the name
procedural implementation of, [2], [3], [4], [5]
Carmichael numbers, [2]
case analysis
data-directed programming vs.
general, see also
cond
with two cases (
if
)
cd...r
cdr
(primitive procedure)
axiom for
implemented with vectors
as list operation
origin of the name
procedural implementation of, [2], [3], [4], [5]
cdr
down a list
cell, in serializer implementation
celsius-fahrenheit-converter
expression-oriented
center
Cesàro, Ernesto
cesaro-stream
cesaro-test
Chaitin, Gregory
Chandah-sutra
change and sameness
meaning of
shared data and
changing money, see counting change
chaos in the Solar System
Chapman, David
character strings
primitive procedures for, [2]
quotation of
character, ASCII encoding
Charniak, Eugene
Chebyshev, Pafnutii L’vovich
chess, eight-queens puzzle, [2]
chip implementation of Scheme, [2]
chronological backtracking
Chu Shih-chieh
Church numerals
Church, Alonzo, [2]
Church-Turing thesis
circuit
digital, see digital-circuit simulation
modeled with streams, [2]
Clark, Keith L.
clause, of a
cond
additional syntax
Clinger, William, [2]
closed world assumption
closure
in abstract algebra
closure property of
cons
closure property of picture-language operations, [2]
lack of in many languages
coal, bituminous
code
ASCII
fixed-length
Huffman, see Huffman code
Morse
prefix
variable-length
code generator
arguments of
value of
coeff
, [2]
coercion