| 
		        
			        |  |  
			        |  |  
					| Авторизация |  
					|  |  
			        |  |  
			        | Поиск по указателям |  
			        | 
 |  
			        |  |  
			        |  |  
			        |  |  
                    |  |  
			        |  |  
			        |  |  |  | 
		|  |  
                    | Scott M.L. — Programming Language Pragmatics |  
                    |  |  
			        |  |  
                    | Предметный указатель |  
                    | | 680x0 architecture, calling sequence      437—441 680x0 architecture, endian-ness      210 421
 680x0 architecture, GNU back end      500
 680x0 architecture, instructions      224—225
 680x0 architecture, memory access and addressing modes      221
 680x0 architecture, MIPS architecture vs.      220—225 242
 680x0 architecture, registers      221—224
 680x0 architecture, two-address instructions      215
 A-list (association list)      137—139 598
 Abelson, Harold      163 657
 Absolute addressing mode      216
 Abstract syntax tree      see “Syntax tree”
 Abstraction      106 (see also “Class” “Object-oriented “Subroutine”)
 Abstraction in high-level programming language      105
 Abstraction of control      106 427—489
 Abstraction of control, calling sequence      431—442
 Abstraction of control, continuation      270 472 474 600
 Abstraction of control, coroutine      474—483 489 683 793
 Abstraction of control, data abstraction vs.      427
 Abstraction of control, exception handling      464—474
 Abstraction of control, generator      288—291 293 316
 Abstraction of control, generic subroutine or module      459—464
 Abstraction of control, iterator      8 287—294 479—480
 Abstraction of control, Lisp      443
 Abstraction of control, parameter passing      442—459
 Abstraction of control, procedural abstraction      249
 Abstraction of control, run-time cost      309
 Abstraction of control, Smalltalk      443
 Abstraction of control, stack layout      428—431
 Abstraction of data      106 529—587
 Abstraction of data, association list      137—139
 Abstraction of data, bounded buffer      695 696 697
 Abstraction of data, central reference table      137—139
 Abstraction of data, class construct      128
 Abstraction of data, class, abstract      557
 Abstraction of data, container class      460
 Abstraction of data, control abstraction vs.      427
 Abstraction of data, extension of existing abstractions      531
 Abstraction of data, history      530
 Abstraction of data, in Clu      287 288
 Abstraction of data, microprogramming      218
 Abstraction of data, module      122—129 529 530—531
 Abstraction of data, opaque type      322
 Abstraction of data, symbol table      132—137
 Abstraction of data, type equivalence      332 333
 Abstraction, beta abstraction      619 620
 Abstraction, coercion and      339
 Abstraction, expressive power and      4
 Abstraction, lack of      8
 Abstraction, lambda abstraction      614 617
 Abstraction, stack      123 124
 Abstraction, tuple space      705
 Abstraction, type, point of view toward      322 323
 Acknowledgment message      712 713
 Action routine      179
 Action routine and grammar classes      94
 Action routine in FMQ algorithm      72
 Action routine in phrase-level error recovery      85 86
 Action routine, attribute storage      181—187 189 190
 Action routine, gcc syntax tree construction      500
 Action routine, parser invocation of      19
 Action routine, semantic analysis      166 179—180
 Activation record (stack frame)      111 428
 ActiveX      582 587
 actual parameter      427 442—443
 Ada 83, formal subroutines, lack of      142
 Ada 83, packages (modules)      126
 Ada 83, subroutine status      143
 Ada 95 as object-oriented language      530
 Ada 95, access all types      383 424
 Ada 95, child package      544—546
 Ada 95, class-wide types      556
 Ada 95, closures      564
 Ada 95, dangling references      392 424
 Ada 95, GNU compiler (gnat      499
 Ada 95, inheritance      129
 Ada 95, method binding      555
 Ada 95, objects      545
 Ada 95, objects, initialization      549 550
 Ada 95, objects, protected      701—702 715 728
 Ada 95, subroutine status      143
 Ada 95, type extension      544—546
 Ada 95, visibility of class members      544
 Ada as object-oriented language      576
 Ada, accept statement      707 715
 Ada, access (pointer) types      382 387 388 392
 Ada, aggregates      258 329 387 593
 Ada, arrays      184 365—367 371 454
 Ada, bounded buffer example      715
 Ada, cactus stacks      477
 Ada, case of letters      33
 Ada, case statement      268 278
 Ada, coercion, lack of      147
 Ada, concurrency      7 673
 Ada, declaration syntax      190
 Ada, delay alternative in select statement      716
 Ada, dereferencing, automatic      388
 Ada, described      787
 Ada, elaboration      116
 Ada, entries      707
 Ada, enumeration types      326
 Ada, erroneous program      19 447
 Ada, evolution of languages      3
 Ada, exception handling      61 116 269 465 489
 Ada, exit statement      296
 Ada, exponentiation      253
 Ada, fixed point types      324 421
 Ada, floating-point constants      99
 Ada, for loop      282 284 285 342
 Ada, function return value      458—459
 Ada, garbage collection      383 395
 Ada, generic queue example      460
 Ada, generics      148 460
 Ada, goto statement      267
 Ada, history      4 117
 Ada, I/O      409—410 411 454
 Ada, in-line subroutines      441
 Ada, intermediate form (Diana)      498
 Ada, Life example      371
 Ada, limited extent of local objects      487
 Ada, limited types      541
 Ada, list and queue example      545—546
 Ada, midtest loop      268 296
 Ada, mod operator      421
 Ada, Modula-3 and      792
 Ada, nested subroutines      118
 Ada, new function      387
 Ada, operator functions      145 251
 Ada, overloading      144 145 326
 Ada, packages (modules)      123 125 533 540
 Ada, packed types      354
 Ada, parameter passing      132 444 446 454 455 487 489 720
 Ada, parsing      97
 Ada, precedence levels      253
 Ada, receive operation      715
 Ada, records      354
 Ada, rem operator      421
 Ada, remote invocation      711
 Ada, rendezvous      719
 Ada, repeat loop, lack of      294
 Ada, scope rules      121 151 429
 Ada, select statement      716
 Ada, separate compilation      152 542
 Ada, set types, lack of      382
 Ada, short-circuit evaluation      267 274
 Ada, side effects in functions      271
 Ada, strings      343 380
 Ada, subrange types      326
 Ada, subroutines as parameters      450
 Ada, subtypes      326 333 341 418 554
 
 | Ada, synchronization      700 Ada, tasks (threads)      448 474 670 673 676—678 716 730
 Ada, type checking      321 331 333 337 340
 Ada, type coercion      338
 Ada, type constraint      326
 Ada, type conversion      335
 Ada, type declarations, incomplete      151 387
 Ada, unchecked pragma      422
 Ada, unchecked-conversion      336
 Ada, variables as values      255
 Ada, variant records      358 362—364 422
 Addressing mode      see “Displacement addressing mode”
 Addressing mode for stack      438
 Addressing mode, 680x0 vs. MIPS architecture      221
 Addressing mode, auto-increment/decrement      111 216 438 739
 Addressing mode, CISC      216 242
 Addressing mode, immediate      216
 Addressing mode, indexed      216 230 376
 Addressing mode, memory access and      221
 Addressing mode, memory indirect      216
 Addressing mode, overview      215—218
 Addressing mode, pseudoassembler notation      225—227
 Addressing mode, register      216
 Addressing mode, register indirect      216 221 226 237
 Adobe Systems, Inc.      793
 Aggregate      258
 Aggregate, Ada      362
 Aggregate, array bounds      375
 Aggregate, C      258 593
 Aggregate, C++      413
 Aggregate, composite type      343
 Aggregate, Fortran 90      258 329 593
 Aggregate, functional language feature      592 593
 Aggregate, initializers (aggregates)      329 387
 Aggregate, lambda expression and      596
 Aggregate, Lisp      329
 Aggregate, lists      402
 Aggregate, ML      258 330 402
 Aggregate, Modula, lack of      329
 Aggregate, Pascal, lack of      329 387
 Aho, Alfred V.      28 202 527 785
 AIDA      498
 Algol 60, call-by-name parameters      451
 Algol 60, described      789
 Algol 60, for loop      285
 Algol 60, function return value      269 457 458
 Algol 60, goto statement      286 472
 Algol 60, I/O      405
 Algol 60, if construct      101 257 272
 Algol 60, loops      280 286 294
 Algol 60, parameter passing      8 269 302 472
 Algol 60, recursion      489
 Algol 60, structured control-flow constructs      268
 Algol 60, switch construct      268 279
 Algol 60, type system      322
 Algol 68, assignment      257
 Algol 68, assignment operators      261
 Algol 68, case statement      268
 Algol 68, concurrency      660 673
 Algol 68, dangling references      391 392
 Algol 68, described      789
 Algol 68, elaboration      116
 Algol 68, for loop      282 285
 Algol 68, function return value      458
 Algol 68, if construct      272
 Algol 68, nondeterminacy (collateral execution)      303
 Algol 68, orthogonality      256 328
 Algol 68, pointers      383 389 424
 Algol 68, records      352
 Algol 68, references      449
 Algol 68, semaphores      695
 Algol 68, statements and expressions      256 270 442
 Algol 68, structures (records)      133 351
 Algol 68, switch construct      279
 Algol 68, threads      474
 Algol 68, type checking      330 424
 Algol 68, type system      323 425
 Algol 68, unions (variant records)      358 360 362
 Algol 68, variables as references      256
 Algol W, case statement      268 275
 Algol W, described      789
 Algol W, for loop      285
 Algol W, history      167
 Algol W, parameter passing      446
 Algol W, type system      323
 Algol W, while loop      294
 Algol, declarations      121
 Algol, evolution of languages      3
 Algol, explicit end markers      70
 Algol, forward references      133
 Algol, goto statement      267
 Algol, history      2 105
 Algol, if construct      251
 Algol, limited extent of local objects      144
 Algol, nested subroutines      118
 Algol, own (static) variables      122 156
 Algol, parameter passing      453 487
 Algol, scope rules      118 121 125 139
 Algol, short-circuit evaluation, lack of      313
 Algol, Simula and      793
 Algol, subroutine status      143
 Algol, void (empty) type      328
 Alias type      332
 Alias, assignment      744
 Alias, C function returns      449
 Alias, common subexpression elimination      754—755
 Alias, equality testing      414
 Alias, Euclid, lack of      447
 Alias, Fortran equivalence statement      360
 Alias, global redundancy elimination      746
 Alias, live variable analysis      754—755
 Alias, Modula-3 WITH statement      356—357
 Alias, overloading vs.      144
 Alias, parameter passing modes      453
 Alias, pragma      48
 Alias, prohibition in Euclid and Turing      125
 Alias, reference parameter      444
 Alias, RPC and      720
 Alignment      209
 Alignment in MIPS assembler      513
 Alignment of HPF array      676
 Alignment of integers      209
 Alignment, Ada      363 447
 Alignment, array memory layout      373
 Alignment, assignment operator and      261—262
 Alignment, record memory layout      353 355
 Alignment, type cast      337
 Allen, Frances E.      374
 alloca routine in C/C++      435
 allocation      see “Storage allocation”
 Almasi, George S.      731
 Alpern, Bowen      786
 Alpha architecture, byte operations      211
 Alpha architecture, condition codes, lack of      218
 Alpha architecture, GNU back end      500
 Alpha architecture, load_linked and store_conditional (LL/SC) instructions      689—690
 Alpha architecture, RISC-ish approach      243
 Alpha architecture, SMPs      670
 Alpha conversion      616
 Alphabet of a formal language      87 88 92
 Alternation      see “Selection”
 Alternation in context-free language      87
 Alternation in token specification      32
 Alternation, described      249
 Alternation, NFAs      89 90
 Ambiguous grammar, context-free      37—38 69 615
 AND parallelism      705
 Anderson, Thomas E.      731
 Andrews, Gregory R.      673 730 794
 Anonymous type      334
 
 | 
 |  |  |  | Реклама |  |  |  |  |  |