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

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

".scm"      261
".so"      261
#1#      273
#1=      273
#<UFO>      14 60
#<uninitialized>      60 431
#n#      145
#n=      145
$\Delta$       167
$\delta$ -rule      151
$\gamma$       170
$\lambda$ -calculus      147 149
$\lambda$ -calculus and free variable      150
$\lambda$ -calculus, applied      151
$\lambda$ -drifting      184
$\lambda$ -hoisting      184
$\mathfrak{A}$       152
$\mathfrak{a}$ -conversion      370
$\mathfrak{B}$       163
$\mathfrak{K}$       152
$\mathfrak{L}$       161
$\nu$       152
$\omega$       150
$\pi$       152
$\Sigma$       152
&aux      14
&key      14
&rest      14
&whole      320
()      9 395
(setf symbol-function)      285
(setf symbol-value)      285
*      136
* in Common Lisp      37
*active-catchers*      77
*arg1*      228
*arg2*      228
*class-number*      419
*classes*      419
*dynamic-variables*      254
*dynenv*      469
*env*      207 231
*features*      331
*fun*      228
*generics*      420
*last-defined-class*      425
*macros*      322
*maximal-fixnum*      376
*maximal-number-of-classes*      419
*minimal-fixnum*      376
*shared-memo-quotations*      141
*special-form-keywords*      350
*stack*      226
*stack-index*      226
*starting-offset*      422
*val*      225
+      27 385
+ in Common Lisp      37
->C      379-385
->Class      420
->CPS      405 406
->Generic      420
->Scheme      474
<      27
<=      136
=      385
==      306
>      452
??      306
A-list      285
A-list definition      13
a.out      321
Abstraction      11 14 82 149 150 157 186 189 191 209 214 230 286 287 289 293 306 307 348 453 468
Accessing length of field      438
Accompanying function      440
Acons      342
Activation record      87 185
Activation-frame      185
add-method!      296
Address      116 186
Addresses and assignment      116
adjoin-definition!      368
adjoin-free-variable!      366
adjoin-global-variable!      203
adjoin-temporary-variables!      371
ALLOCATE      158
allocate-Class      441
ALLOCATE-DOTTED-FRAME      217
ALLOCATE-FRAME      216
ALLOCATE-FRAME1      243
allocate-immutable-pair      143
allocate-list      135
allocate-pair      135
allocate-Poly-Field      441
allocate-Polygon      429
Allocating activation record      189 222
Allocating activation records      189 222
Allocator      422 423
Allocator with initialization      433
Allocator without initialization      431
already-seen-value?      375
alternative      213 230
AND      477
another-fact      64
APOSTROPHE      312
Application      344
apply      219 331 399 401 409 453 460 464 495 496
apply-cont      93
Argument as discriminant      442
argument-cont      93
Arguments      344
arguments $\rightharpoondown$       396
arguments->C      384
arguments->CPS      406
ARITY=?      244
ARITY=?2      244
Assembly language      230
ASSIGNMENT      11 111
Assignment and binding      113
Assignment and continuation      113
Assignment and enviroment      113
Assignment and immutable binding      26
assoc/de      51
Association list definition      13
atom?      4
Auto-interpretation      28 307
Automatically extendable enviroment      172
Autonomous application      283
Backpatching      234
Backquote      333 340 344
bar      27
base-error-handler      259
BEGIN      xviii 7 9 11 307
begin-cont      90
behavior      131
better-map      80
between-parentheses      380
bezout      103
Bigloo      238 360 414 415
bind-exit      101 249
bind/de      51
Binding      113
Binding and $\lambda$ -calculus      150
Binding and assignment      113
Binding captured by closures      43
Binding form      68
Binding implementation techniques      25
Binding of not first class objects      68
Binding semantics      25
Bindings are not first class objects      68

bindings->C      383
Block      76 80 249
Block compared to catch      79 81
block-cont      97
block-env      97
block-lookup      98 100
Boolean false      9 26
Boolean in A-calculus      155
Boolean in C      382
Boolean representing      8
Boolean syntactic forms      26
Boolean true      26
boolean->C      382
boolean?      xviii
Bootstrapping      334 336 414 419 427 441
Bootstrapping MEROON      335
bottom-cont      95
Bound variable definition      3
box      114 362
Box-Creation      362
Box-Read      362
box-ref      114
box-set!      114
Box-Write      362
boxify-mutable-variables      363
build-application      262
build-application-renaming-variables      471
bury-r      288
BYTE      235
C      359
C++      415
C, Kernighan & Ritchie      415
C-value?      376
cadr      xviii 121
Call by name      150 151 176 180
Call by need      151 176
Call by value      11 150 175 176 180
call-arguments-limit      401
call-next-method      446
call/cc      95 195 219 247 249 402 404 453 460 464
call/ep      402
CALL0      218
CALL1      233
CALL1-car      243
CALL1-cdr      243
CALL2      233
CALL3      218 228 233
Calling macros      317
Calling protocol      184 227 228
Caml Light      225 312
can-access?      116
capture-the-environment      472
Captured binding      114
Capturing binding      343
capturing bindings      343
Capturing continuation      81
CAR      xviii 27 38 94 137 195 385 398
careless-Class-fields      428
careless-Class-name      428
careless-Class-number      428
careless-Class-superclass      428
careless-Field-defining-class-number      428
careless-Field-name      428
CASE      xviii
catch      74 77 78 85
Catch compared to block      79 81
Catch simulated by a dynamic variable      78
Catch with unwind-protect      85
catch-cont      96
catch-lookup      96
CC      315 344 462
CDR      xviii
Changing enviroment to simulate shallow binding      24
chap3j-interpreter      460
chapter1-scheme      27
chapter1d-scheme      453
chapter3-interpreter      95
chapter4-interpreter      138
chapter61-interpreter      195
chapter62-interpreter      207
chapter63-interpreter      219
chapter7d-interpreter      246
char?      xviii
check-byte      239
check-class-membership      430
check-conflicting-name      440
check-index-range      436
check-signature-compatibility      447
CHECKED-DEEP-REF      292
CHECKED-GLOBAL-REF      212 240
CHECKED-GLOBAL-REF+      467
CHECKED-GLOBAL-REF-      466
CHECKED-GLOBAL-REF-code      264
checked-r-extend*      290
Church-Rosser property      150
Church’s thesis      2
Circularity      419
cl.lookup      48
class      87
class definition      87
Class-class      427
Class-generate-related-names      429
Class-initialize!      439
Class-name      441
Class-number      441
Class?      441
CLICC      360
Clone      407
CLOS      87 432 442
Closed variables and assignment      112
Closure      211
Closure definition      19 21
Closure examples      19
Closure of abstraction      19
Closure-Creation      368
closurize-main!      369
Cname-clash?      374
Co-definition      120
Code walker      340 341
Code walking      360
code-prologue      246 258
collect-temporaries!      370 371
Collecting quotations      367 372
Collecting variables      372
ColoredPolygon class      423
ColoredPolygon classe      421
Combination definition      11
Combinator      183
Combinators in $\lambda$ -calculus      63
Common Lisp      xx
Common Lisp +in      37
Common Lisp •in      37
Common Lisp, lexical escapes in      76
Common Loops      87 442
Comparing physically      137
compatible-arity?      465
compile->C      372 404 475
compile-and-evaluate      289
compile-and-run      278
COMPILE-FILE      260 313 327
compile-on-the-fly      278
COMPILE-RUM      278
Compiled define-class      425
compiler-let      330
compiling      223 381
Compiling assignments      381
Compiling box      381
Compiling boxes      381
Compiling expressions      379
Compiling functional applications      382

1 2 3 4 5 6

О проекте