Structure and Interpretation of Computer Programs



Yüklə 2,71 Mb.
Pdf görüntüsü
səhifə215/222
tarix08.08.2018
ölçüsü2,71 Mb.
#61085
1   ...   211   212   213   214   215   216   217   218   ...   222

    iterative version

    recursive version

let

 (special form)



    evaluation model

    internal definition vs.

    named

    scope of variables

    as syntactic sugar, [2]

let*


 (special form)

letrec


 (special form)

lexical addressing

    lexical address

lexical scoping

    environment structure and

lexical-address-lookup

, [2]

lexical-address-set!



, [2]

Lieberman, Henry

LIFO buffer, see stack 

line segment 

    represented as pair of points

    represented as pair of vectors

linear growth, [2]

linear iterative process

    order of growth

linear recursive process

    order of growth

linkage descriptor

Liskov, Barbara Huberman

Lisp 


    acronym for LISt Processing

    applicative-order evaluation in

    on DEC PDP-1

    efficiency of, [2]

    first-class procedures in

    Fortran vs.

    history of

    internal type system

    original implementation on IBM 704

    Pascal vs.

    suitability for writing evaluators

    unique features of

Lisp dialects 

    Common Lisp

    Franz Lisp

    Interlisp

    MacLisp

    MDL


    Portable Standard Lisp

    Scheme

    Zetalisp



lisp-value

 (query interpreter)

lisp-value

 (query language), [2]

    evaluation of, [2], [3]

list


 (primitive procedure)

list structure

    list vs.

    mutable

    represented using vectors

list(s)


    backquote with

    


cdr

ing down


    combining with 

append


    

cons


ing up

    converting a binary tree to a

    converting to a binary tree

    empty, see empty list 

    equality of

    headed, [2]

    last pair of

    lazy


    length of

    list structure vs.

    manipulation with 

car


cdr


, and 

cons


    mapping over

    nth element of

    operations on

    printed representation of

    quotation of

    reversing

    techniques for manipulating

list->tree

list-difference

list-of-arg-values

list-of-delayed-args

list-of-values

list-ref

, [2]


list-structured memory

list-union

lives-near

 (rule), [2]

local evolution of a process

local name, [2]

local state

    maintained in frames

local state variable

local variable

location

Locke, John

log

 (primitive procedure)



logarithm, approximating 

ln

 2



logarithmic growth, [2], [3]


logic programming, see also query language; query interpreter 

    computers for

    history of, [2]

    in Japan

    logic programming languages

    mathematical logic vs.

logic puzzles

logical and

logical or

logical-not

lookup

 

    in one-dimensional table



    in set of records

    in two-dimensional table

lookup-label

lookup-prim

lookup-variable-value

, [2]


    for scanned-out definitions

looping constructs, [2]

    implementing in metacircular evaluator

lower-bound

machine language

    high-level language vs.

Macintosh

MacLisp


macro, see also reader macro character 

magician, see numerical analyst 

magnitude

 

    data-directed



    polar representation

    rectangular representation

    with tagged data

magnitude-polar

magnitude-rectangular

make-account

    in environment model

    with serialization, [2], [3]

make-account-and-serializer

make-accumulator

make-agenda

, [2]


make-assign

make-begin

make-branch

make-center-percent

make-center-width

make-code-tree

make-compiled-procedure

make-complex-from-mag-ang

make-complex-from-real-imag

make-connector




make-cycle

make-decrementer

make-execution-procedure

make-frame

, [2], [3]

make-from-mag-ang

, [2]

    message-passing



    polar representation

    rectangular representation

make-from-mag-ang-polar

make-from-mag-ang-rectangular

make-from-real-imag

, [2]


    message-passing

    polar representation

    rectangular representation

make-from-real-imag-polar

make-from-real-imag-rectangular

make-goto

make-if

make-instruction



make-instruction-sequence

make-interval

, [2]

make-joint



make-label

make-label-entry

make-lambda

make-leaf

make-leaf-set

make-machine

, [2]

make-monitored



make-mutex

make-new-machine

make-operation-exp

make-perform

make-point

make-poly

make-polynomial

make-primitive-exp

make-procedure

make-product

, [2]

make-queue



, [2]

make-rat


, [2], [3]

    axiom for

    reducing to lowest terms

make-rational

make-register

make-restore

make-save

make-scheme-number

make-segment

, [2]


make-serializer


Yüklə 2,71 Mb.

Dostları ilə paylaş:
1   ...   211   212   213   214   215   216   217   218   ...   222




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

    Ana səhifə