|
![blank](/z.gif) |
Авторизация |
|
![blank](/z.gif) |
Поиск по указателям |
|
![blank](/z.gif) |
|
![blank](/z.gif) |
|
![blank](/z.gif) |
![Красота](/img/main/15.jpg) |
|
![blank](/z.gif) |
|
Scott M.L. — Programming Language Pragmatics |
|
![blank](/z.gif) |
Предметный указатель |
Euclid, scope rules 125 539
Euclid, side effects 271
Euclid, stack example 128
Euclids algorithm 1 305 580 584 591
Evans, Arthur 527
Event handler for interactive I/O 404
Evey, R. James 102
Evolution of languages 3 788
Evolution of processor architecture 218—227
Evolution of processor architecture, 680x0 architecture 220—225
Evolution of processor architecture, microprogramming 218
Evolution of processor architecture, MIPS architecture 220—225
Evolution of processor architecture, RISC architecture 219—220
Evolution of processor architecture, VLSI chip technology 218—219
Excel 6
Exception handling 464—474
Exception handling for dynamic semantic errors 19 116 349
Exception handling, definition of exceptions 466—467
Exception handling, descent parser 61 470—471
Exception handling, exception propagation 468—470
Exception handling, goto statement 269—270
Exception handling, implementation of exceptions 109 471—474
Exception handling, label parameters 453
Exception handling, ML 349
Exception handling, RPC failure semantics 720
Exception handling, setjmp/longjmp in C 473
Existential quantifier 641 642 644—645 647
Exit from loop 286 295—296
Explicit deallocation 114—115
Explicit receipt 714—719
Exponent of floating-point number 212
Export of names from modules 123 533 540
Export table 509
Export, opaque 125 333 540
Expression DAG 743 760
Expression evaluation 250—267
Expression evaluation, assignment 254—262
Expression evaluation, combination assignment operators 260—262
Expression evaluation, initialization 258—260
Expression evaluation, ordering within expressions 262—265
Expression evaluation, orthogonality 256—258
Expression evaluation, precedence and associativity 251—253
Expression evaluation, short-circuit evaluation 265—270
Expression vs. statement 254
Expression-oriented language 256
Expressive power of languages 3—4
Extended Backus-Naur Form (EBNF) 35
Extent of object definition, limited 144 678
Extent of object definition, unlimited 144 395 451 473 593
External Symbol 509
Fact in Prolog 625
Failure of computation in Icon 290 324
Fairness 307 690 716
Fault containment 531
Fenichel, Robert R. 426
Fetch-execute cycle 205
Feuer, Alan R. 316
Feys, Robert 657
Fibonacci heap 114
Fibonacci numbers 114 299 301 344 599
Field of record 352
FILE see “I/O”
File, described 328
File, direct 406
File, file-based I/O 405—407
File, memory-mapped 510
File, random-access 406
File, sanity check 474—476
File, sequential 406
Finalization of module in Euclid 127
Finalization of objects, destructor function 391 469 533 546 547 553—554
Finalization of objects, garbage collection and 553—554
Finite automaton 41 79 87 88—92 280
Finite automaton, deterministic 39 424 603—604
Finite element analysis 690
Finkel, Raphael A. 288 316
Firmware 14 218
First-class value 143
First-class value, continuation 270
First-class value, subroutine 143—144 320
First-class value, subroutine, dynamic method binding and 563—564
First-class value, subroutine, functional programming feature 592
First-class value, subroutine, heap and 593
First-class value, subroutine, in ML 345
First-class value, subroutine, Modula-2 and -3 subroutine types 450
First-class value, terms in Prolog 635
Fischer, Charles N. 28 72 103 202 426 527 785
Fisher, Joseph. A. 786
Fixed point of function 602 619
Fixed-format language 33
Fixed-point type 324
Flavors 586
Fleck, A. C. 489
Flex see “lex”
floating-point numbers 209 212—214
Floating-point numbers, 680x0 architecture 221—222
Floating-point numbers, arithmetic 212—214
Floating-point numbers, arithmetic, and pipelining 207 228 229 235—236
Floating-point numbers, double-precision 210
Floating-point numbers, gradual underflow 213
Floating-point numbers, IEEE standard 212—214 222 248 259 264 324 335 337 411
Floating-point numbers, MIPS architecture 222
Floating-point numbers, ordering within expressions 264
Floating-point numbers, single-precision 210
FMQ error-repair algorithm 72
For loop see “Enumeration-controlled loop”
forall (parallel) loop 675—676 677 703 707
Fork 673 677—679
Formal language 87
Formal machine 87
Formal parameter 427 442
Format of data 209
Forth 4 199 251 793
Fortran 77, pointers, lack of 4
Fortran 77, recursion, lack of 8 297 593
Fortran 77, while loop, lack of 294
Fortran 90 673
Fortran 90, aggregates 258 329 593
Fortran 90, arrays 338 344 367 372 423 454
Fortran 90, case statement 278
Fortran 90, cycle statement 268
Fortran 90, deprecated feature 279
Fortran 90, interaction with language design 4
Fortran 90, internal files 412
Fortran 90, overloading 145
Fortran 90, parameter passing 455
Fortran 90, pointers 4
Fortran 90, records 339 351 352
Fortran 90, recursion 110
Fortran 95 675 703
Fortran as Von Neuman language 6
Fortran, arrays 184 329 365 373 374
Fortran, assignment 257
Fortran, case of letters 33
Fortran, coercion 146 147
Fortran, common blocks 117 125
Fortran, compiler implementation 11
Fortran, computed goto 268 279
Fortran, concurrent programming 7 672
Fortran, continue statement 280
Fortran, declarations 117 182 190 322 427
Fortran, described 790
Fortran, do loop 280—282 284 285 315
Fortran, equivalence statement 117 125 358 362
Fortran, evolution of languages 3
Fortran, exponentiation 252
Fortran, format statement 11 408 410
Fortran, function return value 269 457 458 593
Fortran, GNU compiler 499
Fortran, goto statement 3 267 286
| Fortran, history 2 4 105 117 374
Fortran, I/O 405 408—409 411
Fortran, if statement 272
Fortran, implementation 11
Fortran, interaction with language design 4
Fortran, numeric types 324
Fortran, older dialects 8
Fortran, parallel loops 675
Fortran, parameter passing 109 443 444 487
Fortran, precedence levels 253 443
Fortran, save statement 117 122
Fortran, scanning 45 97 149
Fortran, scope rules 117
Fortran, subroutines as parameters 450
Fortran, success of 4
Fortran, type checking 367
Fortran, type coercion 338
Fortran, type system 322 329
Forward chaining in logic language 629
forward declaration 133
forward reference 133 151
Forward substitution (code improvement) 753
FP 592 657
Fractional part of floating-point number 213
Fragile base class problem 560
Fragmentation and tombstone allocation 393
Fragmentation, external 113 394 400
Fragmentation, internal 113 476
Frame pointer 111 215 224 226 428
Frame, stack 111 428
Francez, Nissim 730
Fraser, Christopher 527
Free Software Foundation 40 499
Free-format language 33
Friedman, Daniel P. 317 489
friend in C++ 543
Front end of a compiler 15—16 (see also “Parsing” “Scanning” “Semantic
Front end of a compiler, described 25 491
Front end of a compiler, structure 492 493
Front end of a compiler, syntax tree as output 19
Front end of a simulator 483
Full-empty bit 705
Funarg problem 141
Function 427 (see also “Constructor function” “Method” “Subroutine”)
Function prototype in C 457
Function space, mathematical 614
Function, destructor 391 469 533 546 547 553—554
Function, domain of 62 612
Function, Fibonacci 301
Function, fixed point of 602 619
Function, hash 135 139 517
Function, higher-order 592 609—612 614
Function, mathematical 612—614
Function, range of 612
Function, return value 149 269 457—459 593
Function, semantic 169
Function, Skolem 645
Function, strict 606
Function, total 613
Function, transition 88 92
Functional form 609
Functional language 6 250 589
Functional programming 592 591—623
Functional programming, code improvement 785
Functional programming, control flow 618—622
Functional programming, evaluation order 604—609
Functional programming, high-order functions 609—612
Functional programming, history 590—592
Functional programming, lambda calculus 614—618 620
Functional programming, limitations of 622
Functional programming, mathematical functions 612—614
Functional programming, naturally imperative idioms 622—623
Functional programming, polymorphism 592
Functional programming, Scheme 594—604
Functional programming, theoretical foundations 612—622
Functional programming, trivial update problem 623 653
Functional unit of processor 205
Functor in Prolog 625
future 704 705
g++ 499 527 534
Ganapathi, Mahadevan 527
Gang scheduling (coscheduling) 682
Gap, floating-point 213
Garbage collection and unlimited extent 144
Garbage collection of continuation in Scheme 270
Garbage collection of lists 401
Garbage collection, conservative 401 426
Garbage collection, constructor function and 547 553—554
Garbage collection, destructor function 391 469 533 546 547 553—554
Garbage collection, explicit vs. automatic 383 395
Garbage collection, finalization of objects and 553
Garbage collection, functional language feature 593
Garbage collection, generational 400 401
Garbage collection, implementation 109 395—401
Garbage collection, implicit deallocation and 114—115
Garbage collection, incremental 426
Garbage collection, mark-and-sweep 398—401 426
Garbage collection, reference counts 394 396—397
Garbage collection, stop-and-copy 400 426
Gardner, Martin 425
Gather operation 714 719
Gaussian elimination 785
gcc, intermediate forms 499—503
gcc, separate compilation 534
gcc, stack layout 434
gcc, wide use of 499
GCD see “Greatest common divisor (GCD)”
Gdel 658
Gehani, Narain 316
Gelernter, David 791
Genealogy of languages 788
Genera programming environment 29
Generate-and-test idiom in logic programming 636
Generational garbage collection 400 401
Generator see “Iterator”
Generator in Euclid 293
Generator in Icon 288—291 316
Generic subroutine or module 459—464
Generic subroutine or module as static mechanism 461
Generic subroutine or module, Ada unchecked-conversion 336
Generic subroutine or module, dynamic method binding and 561—563
Generic subroutine or module, inheritance and 561
Generic subroutine or module, macro vs. 461
Generic subroutine or module, overloading vs. 147—149
Generic subroutine or module, parameter passing 462
Generic subroutine or module, set 382
Generic subroutine or module, type compatibility 339
Gibbons, Phillip A. 786
Gingell, Robert A. 528
Ginsburg, Seymour 102
Glanville, R. Steven 527
Global optimization 241 734
Global value numbering 745—749
gnat (GNU Ada 95 Translator) 498
GNU see “Free Software Foundation” “gcc”
Goal in Prolog 625
Goal-directed search 290
Goguen, Joseph A. 425
Goldberg, Adele 794
Goldberg, David 214 248
Goodenough, John B. 489
Goos, Gerhard 527
Gordon, Michael J. C. 202
Gosling, James 791
goto statement for errors and exceptions 269—270
goto statement for Fortran 77 while loop effect 294
goto statement, computed 279
goto statement, early return from subroutine 268—269
goto statement, enumeration-controlled loop 281 286
goto statement, evolution of languages 3
|
|
![blank](/z.gif) |
Реклама |
![blank](/z.gif) |
|
|