в недетерминистском вычислении

355

в параллельных системах 257 и взаимодействие процессов 271 и присваивание 256 и функциональное

программирование 303 предназначение 257а встроенный язык, использование в разработке языков [embedded language] 340 выборки ключа, процедура [key

selector] 138 вывод типов [type inference] 301а выделение стека и хвостовая

рекурсия [stack allocation and tail recursion] 503а вызов по имени [call by name] 343а вызов по необходимости [call by need]

279а, 343а

связь с мемоизацией 285а вынуждение санка [forcing a thunk]

343

выражение [expression] 5, см. также составные выражения; элементарные выражения алгебраическое см. алгебраическое

выражение самовычисляющееся 312 символьное 69, см.также символ(ы) выражение-следствие [consequent expression] cond 15

if 16

высокоуровневый язык vs. машинный язык 308

выход из тупика [deadlock recovery]

270а

вычисление [evaluation] 5 and 16 cond 15

if 15

or 16

аппликативный порядок см.

аппликативный порядок

вычислений задержанное см. задержанные

вычисления

комбинации 8 модели 326

модель с окружениями см. модель вычисления с окружениями

нормальный порядок см. нормальный порядок вычислений

особых форм 9

подстановочная модель см. подстановочная модель применения процедуры

порядок вычисления подвыражений см. порядок вычисления

элементарных выражений 8 вычислимость [computability] 330а,

331а

вычислители см. метациклический интерпретатор; анализирующий интерпретатор; недетерминистский интерпретатор; ленивый интерпретатор; интерпретатор запросов; вычислитель с явным управлением вычислитель [evaluator] 308, см. также интерпретатор как универсальная машина 329 метациклический 310 вычислитель c хвостовой рекурсией

[tail-recursive evaluator] 477 вычислитель с нормальным порядком

см. ленивый интерпретатор вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme] 469 выражения без подвыражений,

подлежащих вычислению 471 вычисление операндов 473 запуск 480

использование стека 472

как программа на машинном языке

486

как универсальная машина 485 комбинации 472 контроллер 470 модель машины 482 модифицированный для

скомпилированного кода 518 нормальный порядок вычислений

480 (упр. 5.25)

обработка ошибок 481, 485

(упр. 5.30)

операции 469 определения 480 оптимизация 492 (упр. 5.32) отслеживание производительности

(использование стека) 483 последовательности выражений 476 применение процедур 472 присваивания 479 производные выражения 480

(упр. 5.23), 480 (упр. 5.24)

пути данных 469 регистры 470 составная процедура 475 управляющий цикл 481 условные выражения 478 хвостовая рекурсия 477, 483

(упр. 5.26), 484 (упр. 5.28)

элементарные процедуры 475 вычислительный процесс

[computational process] 1, см. также процесс

Гаттэг, Джон Фогель [John Vogel

Guttag] 77п генератор кода [code generator] 489 аргументы 489 возвращаемое значение 490 генератор случайных чисел

[random-number generator] 189п,

194

в моделировании методом

Монте-Карло 195 в тесте на простоту 43 со сбрасыванием 197 (упр. 3.6) со сбрасыванием, потоковая версия

303 (упр. 3.81)

Гераклит 187

Герон Александрийский 19п гипотеза о замкнутости мира [closed

world assumption] 397 глобальное окружение [global

environment] 7, 204 в метациклическом интерпретаторе

326

глобальное поведение процесса [global

behavior of a process] 26 глобальный кадр [global frame] 203

глюк [glitch] 1

Гоген, Джозеф [Joseph Goguen] 77п Гордон, Майкл [Michael Gordon] 301п Горнер, У.Дж. [W. J. Horner] 101

(упр. 2.34)

грамматика [grammar] 360

графика [graphics] см. язык описания

изображений Грей, Джим [Jim Gray] 270п Грин, Корделл [Cordell Green] 375п Грисс, Мартин Льюис [Martin Lewis

Griss] 3п Гэбриел, Ричард П. [Richard P.

Gabriel] 336п

Дайнсман, Говард П. [Howard P.

Dinesman] 357 данные [data] 1, 4, 76

абстрактные 70, см. также абстракция данных

абстрактные модели 77п

алгебраическая спецификация 77п

значение 76

иерархические 83, 91

изменяемые см. изменяемые объекты данных

как программы 329

«конкретное представление» 70

помеченные 150, 459п

процедурное представление 77

разделенные 221

символьные 122

со списковой структурой [list-structured] 72

составные 67

численные 4 Дарлингтон, Джон [John Darlington]

305п

двоичные числа, сложение [binary numbers, addition of] см. сумматор

де Клеер, Йохан [Johan deKleer]

356п, 397п

Дейкстра, Эдсгер Вибе [Edsger Wybe

Dijkstra] 268п действия, в регистровой машине

[actions, in register machine] 426

дек [deque] 229 (упр. 3.23)

декларативное vs. императивное

знание [declarative vs. imperative

knowledge] 18, 374

и логическое программирование

375, 395

и недетерминистское вычисление 353а

декомпозиция программы

[decomposition of program into

parts] 22

деление целых чисел [division of

integers] 20а деньги, размен см. размен денег дерево [tree] 91 B-дерево 136га

бинарное 134, см. также бинарное дерево

красно-черное дерево 136а ленивое 351а листва 94 (упр. 2.28) обращение на всех уровнях 93

(упр. 2.27)

отображение 95 перечисление листьев 99 подсчет числа листьев 91 представление комбинации 8 представленное в виде пар 91 Хаффмана 140 десятичная точка в числах [decimal

point in numbers] 20а Джаяраман, Сундаресан [Sundaresan

Jayaraman] 246а диаграмма потока сигналов

[signal-flow diagram] 97, 295

(упр. 3.73)

диалекты Лиспа [Lisp dialects] Common Lisp 3а Franz Lisp (Франц Лисп) 3га InterLisp (ИнтерЛисп) 3а MacLisp (МакЛисп) 3а

MDL 465а

Portable Standard Lisp

(Переносимый Стандартный Лисп) 3а Scheme (Схема) 3 Zetalisp (Зеталисп) 3га Диофант, Арифметика; экземпляр

Ферма 43а диспетчеризация [dispatching]

по типу [on type] 154 сравнение различных стилей 161

(упр. 2.76)

диспетчирование по типу см. также

программирование, управляемое данными дисциплина кадрированного стека [framed-stack discipline] 472а дифференциальное уравнение [differential equation] 297, см. также solve второго порядка 299 (упр. 3.78),

300 (упр. 3.79)

дифференцирование [differentiation] правила 125, 129 (упр. 2.56) символьное 125, 158 (упр. 2.73) численное 62

диффузия, имитация [imitation of

diffusion] 260

Дойл, Джон [Jon Doyle] 356а доказательство корректности

программы [proving programs

correct] 18а доказательство теорем

(автоматическое) [automatic

theorem proving] 375а древовидная рекурсия [tree recursion]

31

порядок роста 36

древовидно-рекурсивное вычисление чисел Фибоначчи [tree-recursive Fibonacci-number computation] 31

дробь [fraction] см. рациональные числа

Евклид, Начала 41га Евклида алгоритм [Euclids

Algorithm] 41, 420, см. также наибольший общий делитель для многочленов 182а порядок роста 41 единичный квадрат [unit square] 116 естественный язык [natural language] кавычки 122

синтаксический анализ см. синтаксический анализ естественного языка

живет-около (правило) 382, 385