Главная    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
Предметный указатель
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
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! О проекте