|
A
AB theorem, 431
Abelson and Sussman, 18 , 46 , 79 , 207
absolute vector, 95 , 452
abstract datatype, 261 , 262
abstraction, 70 , 71 , 72 , 73 , 75 , 81 , 116 , 123 , 126 , 155 , 156 , 157 , 159 , 162 , 163 , 164 , 170 , 171 , 176 , 177 , 178 , 182 , 184 , 198 , 232 , 260 , 262 , 277 , 313 , 403 , 404 , 405 , 442 , 447 , 470
abstractions rule, 417 , 418 , 421 , 422 , 423 , 428 , 442
active variables, 373
ad hoc polymorphism, 200 , 226
Adams, 479
Aho, 479
Ait-Kaci and Podelski, 1
algebra, 60 , 83 , 262 , 270 , 271 , 276 , 479
Allen, 59 , 479
analytic, 213 , 238 , 239
anonymous functions, 115 , 116
answer literal, 346 , 347 , 348
application, 12 , 71 , 107 , 108 , 129 , 155 , 156 , 158 , 164 , 171 , 177 , 178 , 183 , 202 , 227 , 232 , 314 , 416 , 430 , 432 , 433 , 442 , 470 , 471 , 481
applications rule, 416 , 417 , 419 , 423 , 427 , 429 , 442
applicative order, 22 , 23 , 24 , 160
argument, 30 , 35 , 63 , 65 , 68 , 88 , 98. 99, 100 , 101 , 123 , 124 , 130 , 159 , 164 , 168 , 171 , 176 , 178 , 200 , 209 , 210 , 222 , 242 , 249 , 298 , 305 , 306 , 314 , 340 , 351 , 353 , 429 , 454 , 456 , 460
arity, 22 , 160 , 167 , 177
array, 8 , 461
arrow operator, 198 , 199
A-rules, 431 , 433
ASCII, 62 , 63 , 67 , 70 , 459 , 462
assembler, 9 , 12
assignment, 1 , 12 , 55 , 56 , 80 , 81 , 190 , 236 , 423
association list, 52
atomic formula, 286
atoms, 61 , 76 , 171 , 220 , 232 , 234 , 339 , 344 , 345 , 346 , 357 , 359
attachment, 76
AUM, 16
automated deduction, 8
axiom, 210 , 214 , 225 , 226 , 228 , 249 , 251 , 263 , 264 , 265 , 266 , 283 , 362 , 476 , 477
axiomatic semantics, 309
axiomatic types, 228
|
|
