Structure and Interpretation of Computer Programs



Yüklə 2,71 Mb.
Pdf görüntüsü
səhifə209/222
tarix08.08.2018
ölçüsü2,71 Mb.
#61085
1   ...   205   206   207   208   209   210   211   212   ...   222

    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

    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


Yüklə 2,71 Mb.

Dostları ilə paylaş:
1   ...   205   206   207   208   209   210   211   212   ...   222




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©genderi.org 2024
rəhbərliyinə müraciət

    Ana səhifə