Ãëàâíàÿ    Ex Libris    Êíèãè    Æóðíàëû    Ñòàòüè    Ñåðèè    Êàòàëîã    Wanted    Çàãðóçêà    ÕóäËèò    Ñïðàâêà    Ïîèñê ïî èíäåêñàì    Ïîèñê    Ôîðóì   
blank
Àâòîðèçàöèÿ

       
blank
Ïîèñê ïî óêàçàòåëÿì

blank
blank
blank
Êðàñîòà
blank
Scott M.L. — Programming Language Pragmatics
Scott M.L. — Programming Language Pragmatics



Îáñóäèòå êíèãó íà íàó÷íîì ôîðóìå



Íàøëè îïå÷àòêó?
Âûäåëèòå åå ìûøêîé è íàæìèòå Ctrl+Enter


Íàçâàíèå: Programming Language Pragmatics

Àâòîð: Scott M.L.

Àííîòàöèÿ:

Programming Language Pragmatics addresses the fundamental principles at work in the most important contemporary languages, highlights the critical relationship between language design and language implementation, and devotes special attention to issues of importance to the expert programmer. Thanks to its rigorous but accessible teaching style, you’ll emerge better prepared to choose the best language for particular projects, to make more effective use of languages you already know, and to learn new languages quickly and completely.


ßçûê: en

Ðóáðèêà: Computer science/

Ñòàòóñ ïðåäìåòíîãî óêàçàòåëÿ: Ãîòîâ óêàçàòåëü ñ íîìåðàìè ñòðàíèö

ed2k: ed2k stats

Ãîä èçäàíèÿ: 1999

Êîëè÷åñòâî ñòðàíèö: 856

Äîáàâëåíà â êàòàëîã: 16.11.2009

Îïåðàöèè: Ïîëîæèòü íà ïîëêó | Ñêîïèðîâàòü ññûëêó äëÿ ôîðóìà | Ñêîïèðîâàòü ID
blank
Ïðåäìåòíûé óêàçàòåëü
Anthropomorphism in object-oriented languages      549 576 577
Anti-dependence      231 760
APL, arrays      368 371 454
APL, described      789
APL, precedence      252
APL, scope rules      116 129
Appel, Andrew W.      28 202 527 785
Applicative-order evaluation      301 659
Applicative-order evaluation, functional programming      604—606 617
Applicative-order evaluation, overview      301—303
Apt, Krzysztof R.      730
Architecture and language design      799
Architecture of a processor      203
Argument (actual parameter)      427 442—443
Array      365—379
Array, address calculations      375—378
Array, allocation of      369—370
Array, associative      365
Array, conformant      147 370 453—454
Array, declaration of      365—367
Array, described      327
Array, dimensions and bounds      369—373
Array, dope vector      378—379
Array, elaboration of      369—370 379
Array, full-array operations      367
Array, lifetime      369—370
Array, memory layout      373—379
Array, set implementation      382
Array, shape      338 369
Array, slice      367 367—368 774
Array, syntax and operations      365—372
Assembler      2 14 507 510—514 527
Assembly language as low-level IF      497
Assembly language, Algol 60 and      451
Assembly language, assigning addresses to names      514
Assembly language, compiler generation of      11—12 219 496 510
Assembly language, control flow      267
Assembly language, dump vs. disassembler      511
Assembly language, emitting instructions      511—513
Assembly language, history      1—3 105 218
Assembly language, interpreter implementation      14
Assembly language, load instruction      226
Assembly language, machine independence      105
Assembly language, machine language vs.      11—12
Assembly language, MIPS example for GCD program      22—24
Assembly language, pseudoassembler notation      225—227
Assembly language, semantic analysis and      19 167
Assembly language, store instruction      226
Assembly language, type, lack of      320 321
Assembly-level architecture      203—248
Assembly-level architecture, compiling for modern processors      227—241
Assembly-level architecture, data representation      209—214
Assembly-level architecture, evolution of processor architecture      218—227
Assembly-level architecture, instruction set architecture      214—218
Assembly-level architecture, memory hierarchy      207—209
Assembly-level architecture, workstation macro-architecture      204—207
assertion      167 168
ASSIGNMENT      254—262
Assignment in expression context      100
Assignment in functional language      589
Assignment of subrange type      341—343
Assignment of subtype      363
assignment operator      260—262
Assignment, Ada      362—363 380 463 541
Assignment, Algol 68      257 261
Assignment, alias      744
Assignment, array      367 381
Assignment, associativity      253
Assignment, bodyless virtual method      557
Assignment, C      253 257
Assignment, C++      259 551 557
Assignment, Clu multiple assignment      262
Assignment, combination assignment operator      260—262
Assignment, constant propagation      737
Assignment, deep comparisons and (copies)      415 720
Assignment, denotational semantics      323
Assignment, Eiffel      559
Assignment, equality testing and      414—416
Assignment, expression evaluation      254—262
Assignment, Fortran      257
Assignment, function return value      458
Assignment, functional language, lack of      383 593 622
Assignment, implicit synchronization      703
Assignment, initialization and      258—260 551
Assignment, Java      259 260
Assignment, Kill sets      751
Assignment, lazy evaluation and      606
Assignment, loop invariant      755—756
Assignment, ML      389
Assignment, Modula-2      540
Assignment, Modula-3      445
Assignment, multiple inheritance      566 571
Assignment, orthogonality      256—258
Assignment, parallel loop      675—676
Assignment, parsing of      183 184—185
Assignment, Pascal      149 361—362
Assignment, Perl      262
Assignment, reference count      396 397
Assignment, reference model of variables      255—256 258 384
Assignment, reversible      291
Assignment, Scheme      599—600
Assignment, shallow comparisons and (copies)      415
Assignment, Simula      548
Assignment, single-assignment variable      705 781
Assignment, Smalltalk      578
Assignment, static single assignment (SSA) form      745 786
Assignment, string      380 381
Assignment, type compatibility      337 340—341
Assignment, value model of variables      254—255
Assignment, Von Neuman languages and      6
Association list (A-list)      137—139 598
associative array      365
Associativity      38
Associativity and attribute flow      172
Associativity in expression evaluation      251—253 262
Associativity, parsing      18 38—39 76 168
Associativity, Smalltalk      578
AST (Abstract Syntax Tree)      see “Syntax tree”
Atom in Lisp      385 401 402
Atom in logic programming      624 625 635 640 641
Atomic operation      686
Atomic operation, multiprocessor scheduling      687
Atomic operation, primitive      688 689
Atomic operation, primitive, universal      689 690 726
Atomic operation, reentrant thread scheduler      692
Atomic operation, semaphore      695
Atomic operation, uniprocessor scheduling      686
Attribute      19
Attribute grammar, jump code generation      273
Attribute grammar, L-attributed      173 273
Attribute grammar, noncircular      174
Attribute grammar, S-attributed      171
Attribute grammar, translation scheme      174
Attribute grammar, well-defined      174
Attribute in Diana      499
Attribute of an Ada type      371 424 454 463
Attribute stack, bottom-up parsing      180—183
Attribute stack, top-down parsing      186—189
Attribute storage      see “Attribute space
Attribute, flow      170—178
Attribute, grammar      168—170 172
Attribute, inherited      171 273
Attribute, space management      180—191
Attribute, space management, ad hoc management      179—180 189—191
Attribute, space management, automatic management      186—189
Attribute, space management, bottom-up evaluation      181—185
Attribute, space management, inherited attribute      182—185
Attribute, space management, top-down evaluation      186—191
Attribute, synthesized      170 273 313
Attributed syntax tree      see “Syntax tree”
Auto-increment/decrement addressing mode      111 216 438 739
Automata theory      87—93 315 424
Automatic storage reclamation      see “Garbage collection”
Automaton      see “Turing machine”
Automaton, cellular      371
Automaton, deterministic      87
Automaton, deterministic finite      39 424 603—604
Automaton, finite      41 79 87 88—92 280
Automaton, nondeterministic      87
Automaton, push-down      39 87 92—93
Available expression      750 782
awk      9 365
Axiom of Choice      645
Axiomatic semantics      167 170 202 314 590 731
Back end of a compiler      16 (see also “Code generation” “Code “Linking”)
Back end of a compiler, assembly      510—514
Back end of a compiler, described      25 491
Back end of a compiler, example      492—496
Back end of a compiler, GNU (gcc)      499—500 501
Back end of a compiler, nonoptimizing structure      503
Back end of a compiler, phases and passes      496
Back end of a compiler, structure      491—496
Back end of a compiler, syntax tree as input      19
Back end of a compiler, variations in      491—492
Back end of a simulator      483
Backoff in synchronization      689
Backtracking      631 659
Backtracking, Icon generator      290 291
Backtracking, Prolog      630 631 635—637 649 704
Backus, John W.      35 102 592 657 790
Backus-Naur Form for LL(1) calculator grammar      64
Backus-Naur Form, extended      35
Backus-Naur Form, IDL vs.      499
Backus-Naur Form, operators excluded from      35
Backward chaining in logic language      629 659
Bacon, David F.      786
Bag of tasks model of concurrency      670 775
Bagrodia, R. L.      730
Banerjee, Utpal      786
Bar-Hillel, Y.      102
Barendregt, Hendrik Pieter      657
Barrier      688
Barrier in busy-wait synchronization      690—691
Barrier in RTL      502
Barrier, semaphores for      696
Base (parent) class      121 535 537
Base (parent) type of set      382
Base (parent) type of subrange      326
Basic as Von Neuman language      6
Basic block      234 492 741
Basic block, global optimization and      241
Basic block, identification by code generator      492
Basic block, instruction scheduling      760 762
Basic block, redundancy elimination      733 734 740—745 746
Basic block, register allocation      234 775
Basic, arrays      453
Basic, described      789
Basic, ease of use      4
Basic, evolution of languages      3
Basic, exponentiation      8
Basic, goto statement      3
Basic, interpreter      11
Basic, scope rules      117
Basic, type system      322
Basic, Visual Basic      7 789
Basis of a set of LR items      77 78 79 81
Batch processing      85 661 662
BCD (binary-coded decimal) arithmetic      209 211 224 245 324
Beck, Leland L.      527
Bell Telephone Laboratories      152 789 792 794
Bell, C. Gordon      247
Bernstein, A. J.      730
Bershad, Brian N      731
Beta abstraction      619 620
Beta reduction      616
Big-endian byte order      210 421
Binary instrumentation      786
Binary search      278 309 314 472
Binary translation      786
Binary-coded decimal (BCD) arithmetic      209 211 224 245 324
Binding      106 (see also “Type checking”)
Binding in association list      137
Binding in lambda expression      596
Binding in nested subroutines      118
Binding of communication channel to remote procedure      679
Binding of exception handler      465 466
Binding of module variables      123—124
Binding time      106 106—108 142 417 453
Binding with dynamic scoping      129 130
Binding, backtracking and      631
Binding, binding time      106 106—108 142 417 453
Binding, deep      116 139 141—143 678
binding, dynamic      107 465
Binding, dynamic method binding      162 529 554—564
Binding, dynamic method binding, abstract class      557
Binding, dynamic method binding, first-class subroutines and      563
Binding, dynamic method binding, member lookup      557—561
Binding, dynamic method binding, related concepts      561—564
Binding, dynamic method binding, type of reference object and      556—557
Binding, dynamic method binding, virtual and nonvirtual methods      55—57
Binding, late      10 13—14 108 141 321
Binding, lifetime of      109
Binding, overloading      132 144—146
Binding, Prolog      648
Binding, redeclaring objects      121—122
Binding, rules for referencing environment      106 116 139—144 678
Binding, Scheme      596—597
Binding, scope of      115—116
Binding, shallow      116 139 141
Binding, static      107
Binding, static method binding      555 556
Birtwistle, Graham M.      489
bison/yacc      40 79 85—87 102
Black, Andrew      586
BLISS      321 322
Blizzard      317
Block (syntactic unit)      270
Block (syntactic unit) and co-begin threads      674 676
Block (syntactic unit), C scope rules      152
Block (syntactic unit), entry time      107
Block (syntactic unit), evolution of languages      3
Block (syntactic unit), exception handling      465 466 468 469 470 472
Block (syntactic unit), exception-based error recovery      61
Block (syntactic unit), parsing      17—18
Block (syntactic unit), Pascal scope rules      150—151
Block (syntactic unit), scope of declarations      121
Block (syntactic unit), Smalltalk      578 579
Block copy operation      354 379
Blocking (of process/thread)      see “Scheduler-based synchronization”
Blocking (of process/thread) in web-based application      665
Blocking (of process/thread), message passing      709—712 714
Blocking (of process/thread), multiprocessor scheduling      687
Blocking (of process/thread), preemption      685
Blocking (of process/thread), reentrant thread scheduler      692
Blocking (of process/thread), RPC      721
Blocking (of process/thread), scheduler-based synchronization      671 694—703
Blocking (of process/thread), system call      682
Blocking (of process/thread), uniprocessor scheduling      684
BNF (Backus-Naur Form)      35 64 499
Bobrow, D. G.      426
Bochmann, G. V.      202
Body of coroutine      476
Body of Horn clause      624 626 630 640
Body of iterator      480
Body of lambda abstraction      617
Body of loop      280—282 285 287 294 295
Body of loop, in Haskell      33
Body of loop, in Occam      33
Body of loop, in Smalltalk      580
Body of loop, pipelined      765
1 2 3 4 5 6 7 8 9 10 11 12 13 14
blank
Ðåêëàìà
blank
blank
HR
@Mail.ru
       © Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2025
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01! | Valid CSS! Î ïðîåêòå