Queinnec C. — Lisp in Small Pieces :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Queinnec C. — Lisp in Small Pieces

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Lisp in Small Pieces

Автор: Queinnec C.

Аннотация:

Intended for graduate students, advanced undergrads, and computer programmers with prior knowledge of Lisp or Scheme, and recursive programs. Describes 11 interpreters and two compilers, including very recent techniques of interpretation and compilation. Includes exercises and a large bibliography. Translated from the 1994 French work published by Intereditions.

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: 1st edition

Год издания: 1994

Количество страниц: 514

Добавлена в каталог: 15.11.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Compiling into C      359
Compiling macros      332
Compiling quotations      375
Compiling separately      260 426
Compositional quotation      140
Computation and continuation      87
Computation and enviroment      87
Computation and expression      87
compute-another-Cname      374
compute-Cname      374
compute-field-offset      437
compute-kind      191 203 288 297
cond      xviii
Conditional      178
Confusion values with programs      277
Cons      xviii 27 38 94 137 183 195 385 397
CONS-ARGUMENT      217 233
Constant      212 225 241
Constant continuation      207
CONSTANT-1      242
CONSTANT-code      264
CONSTANT0      242
Continuation      405
Continuation and assignment      113
Continuation and computation      87
Continuation as function      81
Continuation as functions      81
Continuation definition      73
Continuation extent      78 79 83
Continuation interpreter      89
Continuation Passing Style      177
Continuation programming style      102 404-406 410
Continuation representing      81 87
Continuations function      92
Control form      74
convert2arguments      347
convert2Regular-Application      405
Cost of catch      77
COUNT      355
CountedPoint      477
CountedPoint class      477
CountingClass      476
Cpp      315 321
cps      177
cps-abstraction      179
cps-application      179
cps-begin      178
cps-fact      462
cps-if      178
cps-quote      178
cps-set!      178
cps-terms      179
cpsify      405
CREATE-1ST-CLASS-ENV      287 288
create-boolean      134
CREATE-CLOSURE      230 244
create-evaluator      352
create-first-class-environment      288
create-function      134
create-immutable-pair      143
create-number      134
create-pair      135
CREATE-PSEUDO-ENV      297
create-pseudo-environment      297
create-symbol      134
Creating an uninitialized binding      60
Creating global variables      279
Creating variables to define them      54
Crypt      118
Currying      319
cval      285
CYCLE      144
d.determine!      466
d.evaluate      17
d.invoke      17 21
d.make-closure      21
d.make-function      17 21
DATA      4
dd.eprogn      50
dd.evaluate      50
dd.evlis      50
dd.make-function      50
Deep binding      23
Deep binding definition      23
Deep implementation techniques      25
DEEP-ARGUMENT-REF      212 240
DEEP-ARGUMENT-SET!      213 233
deep-fetch      186
deep-update!      186
defforeignprimitive      413
define      xix 54 308
define-abbreviation      316 318 321 323 330
define-alias      333
define-class      87 319 423-425
define-CountingClass      476
define-generic      88 444
define-generic syntax      443
define-handy-method      340
define-inline      339
define-instruction      235
define-instruction-set      235
define-macro      316
define-meroonet-macro      336
define-method      88 447 478
define-syntax      316 321
Defining class      87 422
defining classes      422
Definitial      25 94 136
definitial-function      38
Definition multiple      120
defmacro      321
defpredicate      452
defprimitive      25 38 94 136 200 384
defprimitive2      218
defprimitive3      200
defvariable      203
Delay      176
Denotation ofabstraction      173 175 184
Denotational semantics      147
Denotational semantics definition      149
desc.init      200
description-extend!      200
Descriptor definition      200
Descriptor of function      200
determine!      466
determine-method      444
df. evaluate      45 48
df.eprogn      45
df.evaluate-application      45
df.make-function      45
Disassemble      221
Discriminant      442
Dispatch table      443
Display      xviii
display-cyclic-spine      47
Dotted pair simulating by boxes      122
Dotted signature      443
Dylan      xx 101
Dynamic      169 455
Dynamic binding      19 150 300
Dynamic binding and A-calculus      150
Dynamic binding, definition      19
Dynamic error      274
Dynamic escape      79
Dynamic escape compared to dynamic variable      79
Dynamic escapes      76
Dynamic extent      79 83
Dynamic Lisp      19
Dynamic Lisp, example      20 23
Dynamic scope and free variable      21

Dynamic variable      44
Dynamic variable compared to dynamic escape      79
dynamic-let      169 252 300 455
DYNAMIC-POP      253
DYNAMIC-PUSH      253
DYNAMIC-PUSH-code      265
DYNAMIC-REF      253
DYNAMIC-REF-code      265
dynamic-set!      300 455
dynenv-tag      253
EcoLisp      360
EF      155
egal      124
Electronic address      xix
empty-begin      10
Endogenous mode      316 322
enrich      290 472
Enriching enviroment      290
enumerate      112 473
enumerate-aux      473
env.global      25
env.init      14
Envir      472
Enviroment as composite abstract type      14
Enviroment closures and lexical escapes      79
Enviroment contains bindings      43
Enviroment definition      3
Enviroment dynamic variable      44
Enviroment function      44
enviroment variables      91
Environment      89 185 348
Environment and assignment      113
Environment and computation      87
Environment as abstract type      43
Environment function      44
Environments and binding      43
eprogn      9 10
EPS      318
eq?      27 123
EQL      123
equal?      123 124
equal? cost      138
Equality      122
EQUALP      123
eqv?      123 125 137
Escape      249 250
Escape definition      71
escape-tag      250
escape-valid?      251
ESCAPER      250
EuLlSP      xx 101
eval      2 271 280 332 414
eval function      280
Eval properties      3
Eval special form      277
eval-in-abbreviation-world      328
eval-when      328
eval/at      280 472
eval/b      289
EVAL/CE      278
Evaluate      4 7 89 128 271 275 350
evaluate-amnesic-if      128
evaluate-application      34 93 131
evaluate-application2      35
evaluate-arguments      93 105
evaluate-begin      90 104 105 129
evaluate-block      97
evaluate-catch      96
evaluate-eval      275
evaluate-ftn-lambda      132
evaluate-if      90 128
evaluate-immutable-quote      143
evaluate-lambda      92 131 459 460
evaluate-memo-quote      141
evaluate-nlambda      465
evaluate-or      463
evaluate-quote      90 140
evaluate-return-from      98
evaluate-set!      92 130 463
evaluate-throw      96
evaluate-unwind-protect      99
evaluate-variable      91 130
Evaluation      271
evaluation order      467
Evaluation rule definition      150
Evaluator      351
Evaluator definition      2
even?      55 66 120 290
evfun-cont      93
evlis      12 451
exception      223
executable      313
Execution enviroment      16
Execution environment of function      16
Execution library      397
Existence of a language      28
Existence of language      28
Exogenous mode      314 323
expand-expression      329
expand-store      133
Expander      316 318
Expansion Passing Style      318
EXPLICIT-CONSTANT      241
export      286
Expression and computation      87
EXTEND      14 29
EXTEND-ENV      244
Extendable enviroment      119
Extendable global environment      119
Extending language      311
Extending languages      311
Extensionality      153
Extent binding      68
Extent continuations      78 79 83
Extent escape      78 79 81 83
Extent escapes      78 79 81 83
extract!      368
extract-addresses      289
extract-things!      368 502
f      26 136 195
f.eprogn      33
f.evaluate      33 41
f.evaluate-application      41
f.evlis      33
f.lookup      41
f.make-function      34
Fact      27 54 71 82 262 324 326
Fact with call/cc      82
Fact with continuation      102
Fact written with prog      71
Fact-Closure      365
fact1      322 325
fact2      72 325
factfact      458
Factorial      322 324-326
Fast interpreter      183
Feature      331
fenv.global      38
fetch-byte      237
FEXPR      302 303
fib      27
Field class      426 427
Field descriptor in MEROONET      419 420
Field-class      427
Field-define-class      427
Field-defining-class      427
Field-generate-related-names      435
field-length      438
field-value      437
Field?      441

1 2 3 4 5 6

О проекте