Ãëàâíàÿ    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
Ïðåäìåòíûé óêàçàòåëü
goto statement, exception simulation      472
goto statement, mid-loop exit and continue      268
goto statement, midtest loop      295
goto statement, nonlocal      269—270 474
goto statement, structured programming vs.      267—270 316
Gottlieb, Allan      731
Gradual underflow in floating-point arithmetic      213
Graham, Susan L.      527 786
Grammar      see “Context-free grammar”
Grammar for Pascal      17—18
Grammar, attribute      171 173 174 273
Grammar, containment relations among classes      95
Grammar, language classes and      93—94
Grammar, tree      193—197 496
Graph coloring      775 786
Greatest common divisor (GCD) example in lambda calculus      618—619
Greatest common divisor (GCD) example, assembly language      1
Greatest common divisor (GCD) example, control flow      492 495
Greatest common divisor (GCD) example, functional programming      591—592 618—619
Greatest common divisor (GCD) example, imperative programming      591
Greatest common divisor (GCD) example, iteration vs. recursion      297—298
Greatest common divisor (GCD) example, logic programming      592
Greatest common divisor (GCD) example, machine language      1
Greatest common divisor (GCD) example, MIPS assembly language      22—24
Greatest common divisor (GCD) example, parse tree      20—21
Greatest common divisor (GCD) example, Pascal code      16—17
Greatest common divisor (GCD) example, Smalltalk code      580
Greatest common divisor (GCD) example, SR code      305
Greatest common divisor (GCD) example, syntax tree and symbol table      22 492 494
Greatest common divisor (GCD) example, target code (pseudoassembler)      507 508
Gries, David      202 316
Griswold, Madge T.      316
Griswold, Ralph E.      316 791 794
Guard in Ada select statement      716
Guard in Occam ALT statement      716
Guard in SR in statement      306 718
Guard on entry of protected object in Ada 95      701
Guarded command      304 715 718
Guttag, John      162 316 425 489
Handle of a right-sentential form      76
Handler, exception      see “Exception handling”
Hanson, David      489 527
Harbison, Samuel P.      162 489
Hash function      135 139 517
Hash table for associative array      365
Hash table for keywords in scanner      44
Hash table for set      382
Hash table in symbol table      134
Hash table, in-line expansion of lookup routine      442
Hash table, Pascal example      266
Haskell as functional language      6
Haskell as pure functional language      592
Haskell, described      790—791
Haskell, exception handling      270
Haskell, I/O      608
Haskell, lazy evaluation      303 606
Haskell, list comprehensions      403 425
Haskell, polymorphism      322 593
Haskell, subroutine status      143
Haskell, type system      322 344
Haskell, variables as references      256
Haynes, Christopher T.      317 489
Head of Horn clause      624
Header of module      125
Heap      113 510
Heap-based storage allocation      109 113—114 391 593
Hennessy, John L.      214 232 247 527
Henry, Robert R.      527
HEP architecture      705
Herlihy, Maurice P.      731
Hermes      260 316 681
Heymans, F.      731
High Performance Fortran (HPF)      673 675 676 703
Higher-order function      592 609—612 614
History of programming languages      2—5 787—788
Ho, W. Wilson      528
Hoare, Charles Antony Richard (Tony)      29 167 202 316 425 426 673 789
Hole in record      353—355
Hole in scope      121 149—152
Holt, Richard C.      731 794
Homoiconic language      600 637 649
Hopcroft, John E.      102
Hopper, Grace Murray      790
Horn clause      624 625 643
Horn, Alfred      657
Horowitz, Ellis      29
HPF (High Performance Fortran)      673 675 676 703
Hudak, Paul      657
HyperCard      9
I/O      403—414
I/O, busy-wait      661
I/O, file-based      405—407
I/O, history      661
I/O, interactive      404—405
I/O, interrupt-driven      661—662
I/O, streams and monads      607—609
I/O, text      407—414
IBM 360 architecture, endian-ness      210
IBM 360 architecture, microprogramming      218
IBM 370 architecture      726
IBM 704 architecture      110 374
IBM Corporation      4
IBM PowerPC compiler      496 (see also “PowerPC architecture”)
IBM SP-2      670
IBM T.J. Watson Research Center      247 316
Ichbiah, Jean      787
Icon as special purpose language      3
Icon, Boolean type, lack of      290 324
Icon, cset type      382
Icon, described      791
Icon, generators (iterators)      8 288—291 316
Icon, pattern matching      349
Icon, strings      371 380 381
Icon, suspend statement      291
Icon, type checking      349
id      6
Idempotent operation      271
IDL (Interface Description Language)      498—499
IEEE floating-point standard      212—214 222 248 259 264 324 335 337 411
if      see “Intermediate form”
ILP (instruction-level parallelism)      229 660 786
Immediate addressing mode      216
Immediate error detection problem      59 67 72
Immutable object      255 371 384 445 577
Imperative language      5—7 250 589
Imperfect loop nest      770
implementation      see “Compilers and compilation” “Interpreters
Implementation, ease of      4
Implementation, interaction with language design      795—799
Implementation, module part      125
Implicit deallocation      115 (see also “Garbage collection”)
Implicit receipt      673—674 679—680 714 719 720
Implicit synchronization      703—705
Import of names into modules      123 533
Import table      507
In-line expansion of subroutines      239 302 441—442
In-place mutation in functional programming      623
Incremental garbage collection      426
Independence of components      531 (see also “Orthogonality”)
Index type of array      365
Indexed addressing mode      216 230 376
Indexed sequential file      406
Indirect triples      497
Induction variable      284 756 756—759
Infinite data structure      303 606
Infix notation      251 262
Infix notation as abbreviation for binary function      146 251 443 627 637
Infix notation, ML      443
Infix notation, overloading and      145
Infix notation, Prolog      627 637 638
Infix notation, Smalltalk      443
Infix notation, “mixfix” notation      251 443
Information hiding      122
Ingalls, Daniel H.      586 794
Ingerman, Peter Z.      489
inheritance      542—546 (see also “Class” “Object-oriented “Type
Inheritance in languages not object-oriented      128—129
Inheritance, abstraction of data and      529 574
Inheritance, base (parent) class      121 535 537
Inheritance, derived (child) class      121 535
Inheritance, generics and      561
inheritance, multiple      539 564—574
Inheritance, repeated, mix-in      557 565 573—574 576
Inheritance, repeated, replicated      570—571
Inheritance, repeated, shared      555 570 572—573
Inherited attribute      171 273
Initialization      see “Constructor function”
Initialization in C++      550 551
Initialization in functional programming      622 623
Initialization of objects      546—553
Initialization of variant record in Pascal      361
Initialization, assignment and      258—260 551
Initializer in C      330
INMOS Corporation      673 792
Input/Output      see “I/O”
insn sequence in RTL      501—503
Instantiation in Prolog      625 627
Instruction scheduling      229 759—763
Instruction scheduling by machine-specific code improver      24
Instruction scheduling by RISC assembler      513
Instruction scheduling, difficulties of      207
Instruction scheduling, pipeline stall      229
Instruction scheduling, register allocation and      235—238
instruction set      214—218 224—225 739
Instruction-level parallelism (ILP)      229 660 786
integer arithmetic      211—212
Integrated environment      15
Interactive I/O      404—405
Interface Description Language (IDL)      498—499
Interlisp, programming environment      29
Intermediate code      see “Intermediate form”
Intermediate form      496
Intermediate form for interpreted language      11
Intermediate form, Diana      498—499 500 527
Intermediate form, GNU RTL      499—503 527
Intermediate form, high-level      496—497
Intermediate form, low-level      497
Intermediate form, medium-level      497
Intermediate form, quadruples      497
Intermediate form, stack-based      496—497
Intermediate form, triples      497
Intermetrics      787
Internal file      412
Internet address      708
Interpreters and interpretation, association list for      137
Interpreters and interpretation, compilation vs. interpretation      9—10 108 260
Interpreters and interpretation, implementation strategies      11—12 14
Interpreters and interpretation, late binding      10 108
Interpreters and interpretation, performance      10
Interprocedural code improvement      241 734
Interrupt      205
Interrupt-driven I/O      661—662
Intrinsic function in Fortran      368
Invariant      168
Invariant in construction of NFA      89
Invariant of loop      314 316
Invariant of monitor      698
Invariant, dynamic semantic check      167 168
Item in LR grammar      77
Iteration      280—296
Iteration in functional language      589
Iteration in imperative language      250
Iteration in Scheme      599
Iteration space      771
Iteration, combination loops      286—287
Iteration, described      249
Iteration, enumeration-controlled loops      280—286 578—579
Iteration, iterators      287—294
Iteration, logically-controlled loops      294—296 579—580
Iteration, recursion and      297—301
Iterator      8 287—294 479—480
Iverson, Kenneth E.      368 789
Java as object-oriented language      530
Java, applet      497
Java, arithmetic overflow      264
Java, arrays      369 374
Java, boolean type      257
Java, break statement      296
Java, byte code      14 496 527 560
Java, case of letters      33
Java, classes      128
Java, concurrency      7 673
Java, declarations      121
Java, definite assignment      259 260
Java, described      791
Java, ease of use      4
Java, enumeration      293
Java, exception handling      61 270 340 465 469
Java, finalization of objects      554
Java, garbage collection      259 383 395
Java, generic reference type      340
Java, goto statement      267
Java, graphical interface      404
Java, implementation      4 14 496
Java, initialization of objects      548 552
Java, interface classes      557 574 575
Java, library package      560—561
Java, lists      401
Java, machine independence      105 582
Java, message passing      708
Java, method binding      555 574
Java, mix-in inheritance      565
Java, naming for communication      707
Java, new function      319 387
Java, numeric types      324
Java, Object superclass      340 535
Java, overloading      145
Java, packages      153 542
Java, parameter passing      445
Java, polymorphism      147
Java, precedence levels      252
Java, scope rules      151
Java, self-descriptive types      340
Java, send operation      711
Java, separate compilation      153 542
Java, strings      371 380
Java, super      538 552
Java, synchronization      701 702—703 728
Java, threads      474 673 679 682
Java, try...finally      469
Java, type casts      340
Java, type checking      331
Java, unions, lack of      362
Java, variables as references or values      256 384 417
Java, virtual machine      560
Java, visibility of class members      544
JavaBeans      582 587
Jazayeri, Mehdi      202
JCL      9
Jensen, Kathleen      792
Jensens device      452
Johnson, S. C.      102
Johnson, Walter L.      102
Johnstone, Mark S.      426
Join      673 677—679
Jordan, Mick      792
Jump      see “goto statement”
Jump code      272 273 274
Jump table      277
Jump, enumeration-controlled loop      286
1 2 3 4 5 6 7 8 9 10 11 12 13 14
blank
Ðåêëàìà
blank
blank
HR
@Mail.ru
       © Ýëåêòðîííàÿ áèáëèîòåêà ïîïå÷èòåëüñêîãî ñîâåòà ìåõìàòà ÌÃÓ, 2004-2024
Ýëåêòðîííàÿ áèáëèîòåêà ìåõìàòà ÌÃÓ | Valid HTML 4.01! | Valid CSS! Î ïðîåêòå