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

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

find-dynamic-value      470
find-expander      318
find-global-environment      348
find-symbol      72 75 76 82
find-symbol with block      76
find-symbol with call/cc      82
find-symbol with throw      75
find-symbol, naive style      72
find-variable?      348
FINISH      246
First class citizen      32
First class enviroment      286
First class environment      286
First class module      297
First class object in MEROONET      418
fix      63
FIX-CLOSURE      214 227 233
FIX-LET      217 226 233
fix2      457
Fixed point combinator      63
fixN      457
flambda-apply      306
flambda?      306
Flat enviroment      202
Flat environment      202
Flat-Function      365
flat-variables      445
Flattened-Program      368
flet      39
Floating-point contagion      442
foo      27
force      176
Foreign interface      413
FORM      xviii
Forms for handling continuation      74
Frame coalescing      383
Free variable definition      3
Free-Environment      365
Free-Reference      365
FROM-RIGHT-CONS-ARGUMENT      467
FROM-RIGHT-STORE-ARGUMENT      467
Frozen enviroment      117
Frozen global environment      117
FTP      xix
full-env      91
Full-Environment      348
FUNCALL      36
Funcallable object      442
Function      344
Function accompanying      429 440
Function applying in A-calculus      150
Function calling protocol      184 227 228
function closure      21
function objects      92
Function representing      15
Function space      44
Function substituting terms in $\lambda$ -calculus      150
Function-Definition      368
FUNCTION-GOTO      244
FUNCTION-INVOKE      229 244
function-nadic      460
function-with-arity      459
Functional application      7 11
Functional application, compiling      382
Functional application, definition      7 11
Functional application, representing      4
Functional enviroment      33
Functional environment      33
Functional object      442
Functional, definition      67
Functional-Description      384
Functionally applicative object      40
function_      386
Fusing temporary blocks      383
Fval      285
g.current      191
g.current-extend!      191
g.current-initialize!      192
g.init      191
g.init-extend!      191
g.init-initialize!      192
g.predef      350
Garbage collection      431
Garbage collector      390
Gatekeeper      118
gather-cont      93
gather-temporaries!      370
generate-arity      385
generate-C-program      372
generate-C-value      376
generate-closure-structure      386
generate-functions      386
generate-global-environment      373
generate-global-variable      373
generate-header      373
generate-local-temporaries      387
generate-main      387
generate-next-method-functions      479
generate-pair      377
generate-possibly-dotted-definition      386
generate-quotation-alias      376
generate-quotations      375
generate-related-names      477 478
generate-symbol      377
generate-trailer      373
generate-vector-of-fix-makers      334
generic class      443
generic function      87 418 441 442
Generic function in MEROONET      418
Generic function, default body      445
Generic function, defining      88
Generic function, dispatch table      443
Generic function, dotted signature      443
Generic function, representing      442
Generic-class      427
Generic-name      441
Generic?      441
GENSYM      342
get-description      200
get-dynamic-variable-index      254
Global enviroment      25 116 117 119
Global environment      16 25 116 117 119 206
Global hyperstatic enviroment      173
Global variable      240
Global variable creating      279
Global-Assignment      344
global-env      307 308
global-fetch      192
GLOBAL-REF      212 240
GLOBAL-REF-code      264
Global-Reference      344
GLOBAL-SET!      213 225 233
global-update!      192
global-value      283 470
Global-Variable      344 475
global-variable?      191
Gnu Emacs Lisp      268
Go      108
goto      229 242
Ground floor      351
handle-location      472
Hash table      125
Header file scheme.h      373
Hidden communication      314
Hygience first rule      342
hygiene      341-343 355
Hygienic variable      61
Hygienic, definition      61
hyper-fact      69
Hyperstatic enviroment      119

Hyperstatic global environment      119
Hyperstatic purely lexical global world      55
Hyperstatic, definition      55
Identifer, legal      374
Identity      35
IdScheme->IdC      374
if      155
if arity      7
if-cont      90
Ilog Talk      360
Image of generic function      444
Immutable binding      26
Immutable binding and assignment      26
Immutable binding, definition      26
immutable-transcode      143
Implementation of Meroonet      419
import      296
Impoverished closure      135
Include file scheme.h      373
incredible      321
Indefinite extent      81 83
Index Object class      426
Infinite regression      337 430
Inheritance fields      422
Inheritance methods      422
inian!      475
Initial enviroment      14 135
initialization-analyze!      475
initialize!      477
Initialized binding      60
inline      26 121 199 243 339 384
insert-box!      362 363
insert-global!      348
Inspecting enviroment      302
Inspecting environments      302
install-code!      263
install-macro!      322
install-object-file!      263
Instantiation link      419
instruction-decode      237
instruction-size      237
int->char      xviii
Integrable function      26
Integrating Meroonet with Scheme      443
Integrating primitives      199
Integration      199
Interaction loop compiling      195
Interface, foreign      413
intermediate language      224
Internal state of define-class      423
Interpreted define-class      424
Interpreted eval      282
Interpreter continuations      89
Introducing box      371
Invoke      15 89 92 95 96 211 245 249 251 283 365 454 459 460
INVOKE1      243
Invoking escape      251
Invoking escapes      251
Iota      458
is-a?      430
IS-Lisp      xx
jmp_buf      403
Jump      242
JUMP-FALSE      229 242
K combinator      16
kar      122
Keyword      316
Klop      69
kons      122
Kyoto Common Lisp      360
Label      56
labeled-cont      96
labels      57
LAMBDA      xix 7 11 183 303
lambda form in function position      34
lambda-parameters-limit      239
Language, defined      1
Language, defining      1
Language, program meaning and      147
Language, target      359
Lazy language      59
LD      262
Le-Lisp      148
Least fixed point      64
Legal identifer      374
Length of field      438
let      xix 47
let*      xix
let, creating uninitialized bindings      60
let, purpose of      58
let-abbreviation      318 321
let-syntax      321
let/cc      101 249
letify      407
LETREC      xix 57 290
letrec, expansion of      58
letrec-syntax      321
Levels of evaluation      351
Lexical binding      19 150 300
Lexical binding $\lambda$ -calculus and      150
Lexical binding, definition      19
Lexical environment in Scheme      44
Lexical escape      79
Lexical escape compared to lexical variable      79
Lexical escape enviroment      76
Lexical escape environment and closure      79
Lexical escape environment, closures and      79
Lexical escape, properties of      76
Lexical escapes      76
Lexical escapes, properties of      76
Lexical index      186
Lexical indices      186
Lexical scope and free variable      21
Lexical variable compared to lexical escape      79
Lexical variable space      44
lift!      366
lift-procedures!      366
Linearizing      225 226
Linearizing assignment      228
Linearizing assignments      228
Linked enviroment      186
Linking      260
Lisp      19
Lisp dynamic      19 21
Lisp dynamic, example      20 23
Lisp $_{1}$       32
Lisp $_{1}$ compared to Lisp $_{2}$       34 40
Lisp $_{1}$ , local recursion in      57
Lisp $_{2}$       32
Lisp $_{2}$ compared to Lisp $_{1}$       34 40
Lisp $_{2}$ , function space in      44
Lisp $_{2}$ , local recursion in      56
Lisp $_{2}$ , name conflicts in      42
Lisp, example      20
Lisp, lexical      19
Lisp, lexical, example      20
Lisp, literature about      1
Lisp, longevity      311
Lisp, special forms and primitive functions      6
Lisp, Turing machine and      2
Lisp, universal language and      2
LiSP2TeX      175
List as functional application      11
List in function position      40
List with combinators      467
List, infinite      59
listify!      196
Listist      xviii 453 467
Lists in function position      40
Literature about Lisp      1

1 2 3 4 5 6

О проекте