|
T
T, x, 14 , 15 , 59 , 62 , 68 , 141 , 154 , 182 , 183 , 184 , 209 , 283 , 284 , 303 , 305 , 306 , 359 , 360 , 381 , 382 , 383 , 384 , 385 , 386 , 389 , 404 , 431 , 432 , 433 , 435 , 436 , 437 , 439 , 441 , 442 , 443 , 444 , 448 , 463 , 470 , 479 , 480 , 485 , 487 , 488 , 491
T*, x, 404 , 436 , 437 , 439 , 441 , 448 , 463
tableau, 224
tabula rasa, 258
tactic, 27 , 157 , 160 , 176
tail recursion, 38 , 39 , 90
Tarver, iv, xiv, 18 , 92 , 93 , 94 , 96 , 97 , 207 , 215 , 224 , 483 , 489 , 490
Taylor, 169 , 483
TDPL, 141
Tecuci, 490
terminal, 133 , 134 , 135
theorem, 32 , 159 , 160 , 161 , 222 , 223 , 224 , 342 , 425 , 426 , 427 , 481
theorem-prover, 222 , 223 , 224 , 342
Thompson, 12 , 18 , 490
throw-away design, 189
timout, 244
top down parsing, 133
top level, 20 , 21 , 22 , 40 , 75 , 76 , 188 , 194 , 226
tracking, 40 , 130 , 140 , 222 , 223 , 435 , 486
tree recursive, 39 , 46
tree walker, 270
triple stack method, 181 , 182 , 184 , 378 , 381
tuple, 165 , 166 , 167 , 196 , 201 , 425 , 426 , 432 , 456 , 463 , 465 , 467
Turing, 2 , 3 , 4 , 7 , 9 , 18 , 161 , 405
Turing machine, 3 , 4 , 18
Turner, 10 , 11 , 12 , 18 , 482 , 485 , 490 , 491
twin stack method, 381 , 382 , 403 , 404
type checker, 13 , 16 , 176 , 207 , 244 , 245 , 246 , 248 , 249 , 250 , 254 , 257 , 270 , 431 , 436 , 438
type checking, 11 , 13 , 14 , 15 , 17 , 73 , 208 , 209 , 214 , 219 , 220 , 235 , 244 , 249 , 250 , 309 , 338 , 339 , 360 , 416 , 417 , 418 , 420 , 421 , 424 , 435 , 436 , 439 , 440 , 442 , 444 , 451 , 455 , 457 , 461
type discipline, 193
type error, 11 , 193 , 194 , 195 , 197 , 202 , 226 , 229 , 231 , 235 , 236 , 244 , 245 , 257 , 262 , 431 , 436 , 449 , 451
type operator, 195
type safe, 403 , 425
type secure, 14 , 193 , 200 , 255 , 306 , 360
|
|
