|
|
Àâòîðèçàöèÿ |
|
|
Ïîèñê ïî óêàçàòåëÿì |
|
|
|
|
|
|
|
|
|
|
Scott M.L. — Programming Language Pragmatics |
|
|
Ïðåäìåòíûé óêàçàòåëü |
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
|
|
|
Ðåêëàìà |
|
|
|