|
|
 |
| Àâòîðèçàöèÿ |
|
|
|
| Ïîèñê ïî óêàçàòåëÿì |
|
|
|
|
|
|
|
 |
|
|
|
| Scott M.L. — Programming Language Pragmatics |
|
|
|
| Ïðåäìåòíûé óêàçàòåëü |
Storage allocation, stack-based 109 111—112 428—431 476—477
Storage allocation, static 109—111 391
Storage allocation, storage classes 391
Storage compaction 114 394
Stored program computing 6 204
store_conditional (SC) instruction 689—670 726
Stoy, Joseph E. 202
Strachey, Christopher 202
Stream 412 607—609
Strength reduction 738
Strict name equivalence 333
Strictness 606
String 327 343 371 379—381
Strip mining 774
Strom, Robert E. 316
strongly typed language 321 396 401
Stroustrup, Bjarne 566 568 586 789
Structural type equivalence 330 517
Structure see “Record” “Variant
Structure in Prolog 625
Structure, languages using 351
Structured programming 3 267—270 316 755
Stub, dynamic linkage 521
Stub, RPC 672 719 721
Stumm, Michael 726 731
Style Checker 14—15
Subclass (derived or child class) 121 535
Subrange type 326—327
SUBROUTINE 427—474 (see also “Calling sequence” “Generic “Parameter
Subroutine as control abstraction 106
Subroutine call 238—241 534
Subroutine member of class see “Method”
Subroutine, display 429 487 489
Subroutine, in-line expansion 239 302 441—442
Subroutine, nested 118 120 142 451 489
Subroutine, procedural abstraction 249
Subroutine, stack-based allocation of space 111—112 428—431
Subroutine, static allocation of space 110—111
Subroutine, static chain 120 429
Subroutine, status of 143
Subtype, Ada 326 333 341 418 554
Subtype, alias 333
Subtype, assignment 363
Subtype, constrained 326 341 371
Subtype, type compatibility 337
Success of computation in Icon 290 324
Success, factors for languages 3—4 798—799
Summarization in functional programming 623
Sun Microsystems 791
SUNY Stony Brook 791
Superclass (base or parent class) 121 535 537
Superscalar processor 24 220 786
Sussman, Gerald Jay 163 657 793
switch statement see “case statement”
Symbol table 18 22 132—137 386 509
Symbolics Corp. 29
Synchronization 671 (see also “Blocking (of process/thread)”)
Synchronization, busy-wait 671 688—691
Synchronization, busy-wait, barrier 690—691
Synchronization, busy-wait, I/O operation 661
Synchronization, busy-wait, interactive response and 665
Synchronization, busy-wait, performance issues 694
Synchronization, busy-wait, spin lock 688—690 692 693 725 727
Synchronization, busy-wait, spin-then-yield lock 692 694 695
Synchronization, communication and 671—672
Synchronization, condition 687 695 696
Synchronization, event handler 404
Synchronization, implicit 703—705
Synchronization, mutual exclusion 687
Synchronization, race condition and 662
Synchronization, scheduler-based (blocking) 671 694—703
Synchronization, scheduler-based (blocking), conditional critical region 700—703
Synchronization, scheduler-based (blocking), monitor 696—700
Synchronization, scheduler-based (blocking), scheduler implementation 692—694
Synchronization, scheduler-based (blocking), semaphore 695—696 697
Synchronization, send operation semantics 710—711 712
Synchronized method of a Java class 702
Syntactic sugar, array constructor 366—367
Syntactic sugar, C++ << operator 412
Syntactic sugar, fun construct in ML 348
Syntactic sugar, infix operators 251
Syntactic sugar, Java synchronized keyword 702
Syntactic sugar, Modula-3 “object.method ()” notation 544
Syntactic sugar, Occam CALL channels 707
Syntactic sugar, origin of term 163
Syntactic sugar, overloading and 145
Syntactic sugar, prefix forms of ++ and - 261
Syntactic sugar, Sisal iterative construct for tail recursion 300 623 704
Syntax 31—103
Syntax analysis 18 39 “Scanners
Syntax error see “Error syntax”
Syntax tree, annotation of 19 191—197
Syntax tree, attribute grammar for 166 175—178
Syntax tree, basic block 234
Syntax tree, code generation 273
Syntax tree, code improvement 492
Syntax tree, concrete 19
Syntax tree, gcc IF 500—501
Syntax tree, GCD example 22 494
Syntax tree, IDL 499
Syntax tree, LL(1) grammar with action routines for 179 180
Syntax tree, local optimization 740—741 745
Syntax tree, mutually recursive types 386
Syntax tree, recursive descent 56
Syntax tree, semantic analysis 167 174
Syntax tree, tree grammar 193—197
Syntax, context-free grammar 18 34—36
Syntax, derivation 36—37
Syntax, error see “Error syntax”
Syntax, finite automaton 87 88—92
Syntax, grammar and language classes 93—94
Syntax, parse trees 37—39
Syntax, parsing LL 48 49 50 51—57 62—75
Syntax, parsing, LR 48—51 75—86
Syntax, push-down automaton 87 92—93
Syntax, recognizing 39—86
Syntax, scanning 40—48
Syntax, semantics vs. 31—32 165
syntax, specifying 32—39
Syntax, theoretical foundations 87—94
Syntax, tokens and regular expressions 32 33—34
Syntax-directed translation 39
Synthesized attribute 170 273 313
Tag of a variant record 258 358
Tail recursion 298 623
Tanenbaum, Andrew S. 247 425 731
Task 670
Task parallelism 673 677
TCOL 498
TCP Internet protocol 708
template 147 460 562
Tera architecture 705
Term in Prolog 625
Test-and-test_and_set lock 689
test_and_set instruction 688 689 695
text file 404
text I/O 407—414
Text I/O in Ada 409—410
Text I/O in C 410—412
Text I/O in C++ 412—414
Text I/O in Fortran 408—409
Third-class value 143
Thread 474 659 670 “Multithreading”)
Thread, creation 673—682
Thread, creation, co-begin 673—675 677
Thread, creation, early reply 674 680—682 730
Thread, creation, fork/join 673 677—679
Thread, creation, implicit receipt 673—674 679—680 714 719 720
Thread, creation, launch-at-elaboration 676—677
Thread, creation, parallel loops 675—676 677 703 707
| Thread, implementation 682—687
Thread, multiprocessor scheduling 686—687
Thread, uniprocessor scheduling 683—685
Threat to loop index in ISO Pascal 282 285
Thunk 452 489 720
Tic-Tac-Toe 632
Tichy, Walter F. 528
Tick, Evan 731
Tiling 768
timesharing 662
Timing window 686
Titelbaum, Timothy 202
Token 11 17 32 33—34
tombstone 392—394 426
Top-down (LL) parsing 48 49 50 51—57 62—75
Topological sort 761
Trailing part of LR production 185
transfer operation 474 478—479
Transition function of finite automaton 88
Transition function of push-down automaton 92
Translation scheme 174
Transparency 719
Transputer 673 792
Tree grammar 193—197 496
Trie 44
Triples 497
Triples, indirect 497
Trivial update problem in functional language 623 653
True (flow) dependence 231 760
Tuple 262 346 348 385
Tuple space (in Linda) 705 791
Turing machine 591
Turing, Alan 590
Turing, described 794
Turing, Euclid and 128
Turing, modules 123 126 128
Turing, scope rules 125
Turing, side effects 271
Turner, David A. 791
Two-level locking 725
Twos complement arithmetic 211—212 264 335 512
TYPE 319—426 (see also “Type checking”)
Type cast, explicit type conversion 334—337
Type cast, nonconverting 336
type checking 321 330—351
Type checking in ML 344—351
Type checking with separate compilation 516—518
Type checking, concurrent message passing 714
type checking, dynamic 321 346 349 385 386
Type checking, static 321 330 344 385
Type checking, strong 321 396 401
Type checking, type compatibility and coercion 337—341
Type checking, type conversion 334—337
Type checking, type equivalence 320 330—334
Type checking, type inference 341—344
Type clash 321
Type coercion 146 166 259 330 337—341
Type compatibility 320 337—341
type constraint 326
Type constructor 327 330 348
Type conversion 334—337
Type descriptor 396
Type equivalence 320 330—334
Type equivalence, name, loose 333
Type equivalence, name, strict 333
Type equivalence, structural 330 517
Type extension 529 544—546 792
Type inference 341—344
Type inference in Miranda 791
Type inference in ML 344—351
Type inference, composite type 343—344
Type inference, described 320
Type inference, generics and 562
Type inference, subranges 341—343
Type system 320—330
Type system, classification of types 323—330
Type system, definition of types 322—323
Type variable 345
Type, alias 332
Type, anonymous 334
Type, array 365—379
Type, array, allocation 369—370
Type, array, dimensions and bounds 369—373
Type, array, memory layout 373—379
Type, array, syntax and operations 365—372
Type, Boolean 323
Type, built-in 322 323
Type, cardinal 324
Type, classification of types 323—330
Type, complex 324
Type, composite 322 327—328 343—344
Type, decimal 324
Type, definition of types 322—323
Type, derived 333
Type, discrete 275 324
Type, empty 328—329 347
Type, enumeration 325—326
Type, equality testing and assignment 414—416
Type, files and input/output 403—414
Type, fixed point 324
Type, list 401—403
Type, logical 323
Type, module 126—129 529 541—542
Type, opaque 125 333 540
Type, ordinal 325
Type, orthogonality 328—330
Type, packed 353
Type, pointer 382—401
Type, pointer, dangling reference 391—395
Type, pointer, garbage collection 395—401
Type, pointer, syntax and operations 383—391
Type, predefined 322
Type, primitive 322
Type, purposes 319
Type, rational 324
Type, record (structure) 351—357
Type, record (structure), memory layout 353—355
Type, record (structure), syntax and operations 351—353
Type, record (structure), with statements 355—357
Type, recursive 328 382 426
Type, scalar 325
Type, set 381—382
Type, simple 325
Type, string 379—381
Type, subrange type 326—327
Type, system 320—330
Type, unnamed 334
Type, variant record (union) 358—364
Typestate 260 316
UDP Internet protocol 708 1
Ullman, Jeffrey D. 28 102 202 527 785
Unicode 324 380
Unification in logic programming, free variables 624
Unification in logic programming, OR parallelism 705
Unification in logic programming, Prolog 625 626—628 631 634
Unification in ML 322 346 425
Uniform object model of computing 576
Uninitialized data 509
uninitialized variable 167 258
union see “Variant record (union)”
Unit number (in Fortran I/O) 408
Universal quantifier 641 642 645
Universe type of set 382
University of Aix-Marseille 657 793
University of Arizona 791 794
University of Edinburgh 657 793
University of Rochester xviii xx
University of Toronto 794
Unix, C language development and 789
Unix, command interpreter 9
|
|
|
| Ðåêëàìà |
|
|
|
|
|
Î ïðîåêòå