580
Предметный указатель
vector-set! (элементарная процедура)
490
verbs 389
weight 167
weight-leaf 166
width 104
withdraw 213
сложности в параллельных системах 284
without-interrupts 296п
xcor-vect 141 (упр. 2.46)
Xerox, исследовательский центр в Пало
Альто [Xerox Palo Alto Research
Center] 24п
Y-оператор [Y operator] 364п
ycor-vect 141 (упр. 2.46)
Zetalisp (Зеталисп) 24п
Абельсон, Харольд [Harold Abelson] 24п
абстрактные данные [abstract data] 93, см.
также абстракция данных
абстрактные модели данных [abstract
models for data] 100п
абстрактный синтаксис [abstract syntax]
в метациклическом интерпретаторе 339
в языке запросов 430
абстракция [abstraction] см. также
средства абстракции; абстракция
дан ных; процедуры высших порядков
выделение общей схемы 71
метаязыковая 336
поиска в недетерминистском
программирован ии 387
при проектировании регистровых машин
457
процедурная 44
абстракция данных [data abstraction] 91,
93, 170, 173, 343, см. также
метациклический интерпретатор
для очереди 250
автомагически [automagically] 384
автоматический поиск [automatic search]
381, см. также поиск
история 384п
автоматическое распределение памяти
[automatic storage allocation] 489
Ада, сыновья 417 (упр. 4.63)
Адамс, Норман И., IV [No rman I. Adams
IV] 366п
аддитивность [additivity] 93, 171, 179
Адельман, Леонард [Leonard Adleman] 67п
адрес [address] 489
адресная арифметика [address arithmetic]
490
азбука Морзе [Morse code] 163
Аккермана функция [Ackermann’s
function] 52 (упр. 1.10)
алгебра символьная см. символьная
алгебра
алгебраическая спецификация [algebraic
specification] 100п
алгебраическое выражение [algebraic
expression] 198
дифференцирование 149
представлен ие 151
упрощение 152
алгоритм [algorithm]
RSA [RSA] 67п
вер оятностный 66
Евклида [Euclid’s] 63, 451
оптимальный 125п
унификации [unification algorithm] 405п
Аллен, Джон [John Allen] 495п
альтернати ва if [alternative of if] 37
анализирующий интерпретатор [analyzing
evaluator] 365
let 369 (упр. 4.22)
как основа для недетерминистского
интерпретатора 394
Аппель, Эндрю У. [Andrew W. Appel] 535п
аппликативный порядок вычислений
[applicative-order evaluation] 35
vs. нормальный порядок 39 (упр. 1.5),
64 (упр. 1.20), 370
в Лиспе 35
арбитр [arbiter] 296п
аргумент(ы) [argument(s)] 26
задержанный 325