|
S
S, x, xii, 4 , 5 , 55 , 62 , 64 , 66 , 67 , 85 , 128 , 129 , 133 , 134 , 182 , 183 , 184 , 199 , 203 , 205 , 210 , 218 , 220 , 221 , 261 , 264 , 303 , 305 , 306 , 313 , 314 , 342 , 359 , 362 , 364 , 366 , 367 , 369 , 370 , 381 , 382 , 383 , 384 , 385 , 386 , 391 , 403 , 404 , 406 , 424 , 425 , 431 , 442 , 444 , 445 , 446 , 447 , 449 , 450 , 456 , 462 , 470 , 479 , 480 , 481 , 483 , 484 , 485 , 486 , 487 , 488 , 490
SASL, 11 , 42
Schapiro, 18 , 361 , 489
Scheme, 17 , 18 , 33 , 42 , 52 , 60 , 127 , 140 , 326 , 329 , 491
search, 6 , 12 , 45 , 55 , 68 , 72 , 86 , 90 , 93 , 105 , 126 , 128 , 129 , 131 , 140 , 159 , 244 , 249 , 250 , 255 , 304 , 348 , 350 , 353 , 354 , 360 , 368 , 371 , 375 , 397 , 398 , 402 , 431 , 441 , 444 , 445 , 448
SECD, 11 , 309 , 313 , 314 , 326 , 328 , 337
Seldin, 155 , 169 , 484
self-evaluating, 20 , 21 , 49 , 237 , 425
semantic actions, 142 , 144
semantic completion, 142 , 145
semantic nets, 92 , 93
semantically valid, 269
semantics, 405 , 407 , 427 , 480
semi-abstract, 262 , 265 , 268
SEQUEL, 13 , 14 , 15 , 16 , 18 , 479
sequent, 5 , 7 , 14 , 17 , 157 , 196 , 205 , 208 , 209 , 210 , 211 , 212 , 214 , 217 , 218 , 220 , 224 , 225 , 228 , 238 , 239 , 240 , 241 , 243 , 245 , 249 , 257 , 258 , 272 , 274 , 275 , 339 , 340 , 350 , 362 , 363 , 365 , 366 , 367 , 369 , 375 , 403 , 404 , 417 , 419 , 420 , 421 , 424 , 428 , 429 , 431 , 432 , 434 , 436 , 437 , 438 , 443 , 475 , 476 , 490
sequent calculus, 205 , 208 , 209 , 225 , 339 , 362 , 475 , 476
sequents, 416 , 417 , 418 , 419 , 420 , 423 , 438
sequents rule, 416 , 417 , 418 , 419 , 420
SETL, 59 , 488
s-expr, 171
Shen YACC, vi, viii, xii, 17 , 141 , 142 , 143 , 146 , 147 , 149 , 150 , 151 , 152 , 153 , 154 , 278 , 453 , 467 , 468
side condition, 217 , 226 , 227 , 274 , 362 , 367 , 471
side-effect, 80 , 459
signature, 198 , 285 , 427 , 448 , 449 , 450
Simon, 8 , 11 , 489
simplification, 268 , 269 , 270
simply typed lambda calculus, 418 , 424
sink, 98 , 99 , 100 , 203 , 460
SISAL, 32
Sloman, 1 , 489
slots, 63 , 64
small arrow, 198
SML, 1 , 18 , 207
Smullyan, 224 , 489
SNOBOL, 11
Sondergaard, 485
sound, 1 , 12 , 134 , 209 , 210 , 223
source, 14 , 98 , 99 , 169 , 436 , 460 , 462
spaghetti program, 190
special forms, 419
specialisation rule, 418
spreading, 77 , 81
spreadsheet, 76 , 77 , 78 , 81
spy, vii, 244 , 245 , 248 , 254 , 444 , 445 , 446 , 463
square root, 2 , 41 , 69 , 75
stack, 38 , 123 , 152 , 175 , 176 , 219 , 254 , 260 , 313 , 314 , 377
standard ASCII, 61
standard input, 101 , 463
standard library, 477
standard output, 98 , 99 , 464
standard vector, 95
standard vectors, 87 , 94 , 95 , 197
Staples, 140 , 486
starved, 26
Steele, 97 , 108 , 329 , 489
Sterling, 361 , 489
Stickel, 361 , 489
stream, 3 , 10 , 59 , 78 , 79 , 98 , 99 , 100 , 101 , 195 , 203 , 453 , 460 , 462 , 463 , 464
strict evaluation, 23 , 24
strong normalisation, 418
strong portability, 205
strongly typed, 193 , 207
structural rule, 214
structure, 8 , 9 , 42 , 50 , 59 , 131 , 156 , 215 , 216
subgoal, 140 , 218 , 222 , 218 , 431 , 437
subject reduction, 425
subtype, 93 , 251
succeedent, 210 , 211 , 214 , 217 , 220 , 339 , 340 , 343 , 345 , 346 , 347
super quantification, 305
surface syntax, 363
synonyms, 230 , 231 , 232 , 457 , 461
syntactically valid, 269
syntax, 25 , 131 , 155 , 211 , 216 , 469 , 480
synthetic, 213 , 238
system functions, 22 , 188 , 405
|
|
