Structure and Interpretation of Computer Programs

high-level language, machine language vs.

higher-order procedures

    in metacircular evaluator

    procedure as argument

    procedure as general method

    procedure as returned value

    strong typing and

Hilfinger, Paul

Hoare, Charles Antony Richard

Hodges, Andrew

Hofstadter, Douglas R.

Horner, W. G.

Horner’s rule

‘‘how to’’ vs. ‘‘what is’’ description, see imperative vs. declarative knowledge 

Huffman code

    optimality of

    order of growth of encoding

Huffman, David

Hughes, R. J. M.

IBM 704

identity

if

 (special form)

    

cond

 vs.

    evaluation of

    normal-order evaluation of

    one-armed (without alternative)

    predicate, consequent, and alternative of

    why a special form

if-alternative

if-consequent

if-predicate

if?

imag-part

 

    data-directed

    polar representation

    rectangular representation

    with tagged data

imag-part-polar

imag-part-rectangular

imperative programming

imperative vs. declarative knowledge, [2]

    logic programming and, [2]

    nondeterministic computing and

imperative vs. expression-oriented programming style

implementation dependencies, see also unspecified values 

    numbers

    order of subexpression evaluation

inc

incremental development of programs

indeterminate of a polynomial

---

indexing a data base, [2]

inference, method of

infinite series

infinite stream(s)

    merging, [2], [3], [4]

    merging as a relation

    of factorials

    of Fibonacci numbers, see 

fibs

 

    of integers, see 

integers

 

    of pairs

    of prime numbers, see 

primes

 

    of random numbers

    representing power series

    to model signals

    to sum a series

infix notation, prefix notation vs.

inform-about-no-value

inform-about-value

information retrieval, see data base 

Ingerman, Peter

initialize-stack

 operation in register machine, [2]

insert!

 

    in one-dimensional table

    in two-dimensional table

insert-queue!

, [2]

install-complex-package

install-polar-package

install-polynomial-package

install-rational-package

install-rectangular-package

install-scheme-number-package

instantiate

instantiate a pattern

instruction counting

instruction execution procedure

instruction sequence, [2]

instruction tracing

instruction-execution-proc

instruction-text

integer(s)

    dividing

    exact

integerizing factor

integers

 (infinite stream)

    implicit definition

    lazy-list version

integers-starting-from

integral, see also definite integral; Monte Carlo integration 

    of a power series

integral

, [2], [3]

---

    with delayed argument

    with 

lambda

    lazy-list version

    need for delayed evaluation

integrate-series

integrated-circuit implementation of Scheme, [2]

integrator, for signals

interleave

interleave-delayed

Interlisp

internal definition

    in environment model

    free variable in

    

let

 vs.

    in nondeterministic evaluator

    position of

    restrictions on

    scanning out

    scope of name

Internet ‘‘Worm’’

interning symbols

interpreter, see also evaluator 

    compiler vs., [2]

    read-eval-print loop

intersection-set

    binary-tree representation

    ordered-list representation

    unordered-list representation

interval arithmetic

invariant quantity of an iterative process

inverter

    

inverter

iteration contructs, see looping constructs 

iterative improvement

iterative process

    as a stream process

    design of algorithm

    implemented by procedure call, [2], [3], see also tail recursion 

    linear, [2]

    recursive process vs., [2], [3], [4]

    register machine for

Jayaraman, Sundaresan

Kaldewaij, Anne

Karr, Alphonse

Kepler, Johannes

key

key of a record 

    in a data base

    in a table

---

    testing equality of

Khayyam, Omar

Knuth, Donald E., [2], [3], [4], [5], [6], [7]

Kohlbecker, Eugene Edmund, Jr.

Kolmogorov, A. N.

Konopasek, Milos

Kowalski, Robert

KRC, [2]

label

 (in register machine)

    simulating

label-exp

label-exp-label

Lagrange interpolation formula

 calculus (lambda calculus)

lambda

 (special form)

    

define

 vs.

    with dotted-tail notation

lambda

 expression 

    as operator of combination

    value of

lambda-body

lambda-parameters

lambda?

Lambert, J.H.

Lamé, Gabriel

Lamé’s Theorem

Lamport, Leslie

Lampson, Butler

Landin, Peter, [2]

language, see natural language; programming language 

Lapalme, Guy

last-exp?

last-operand?

last-pair

, [2]

    rules

lazy evaluation

lazy evaluator

lazy list

lazy pair

lazy tree

leaf?

least commitment, principle of

lecture, something to do during

left-branch

, [2]

Leibniz, Baron Gottfried Wilhelm von 

    proof of Fermat’s Little Theorem

    series for   , [2]

Leiserson, Charles E., [2]

length

    as accumulation

---