Авторизация
Поиск по указателям
Sebesta R.W. — Concepts of programming languages
Обсудите книгу на научном форуме
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Concepts of programming languages
Автор: Sebesta R.W.
Аннотация: The fifth edition of Concepts of Programming Languages by Robert Sebesta continues the approach that has made it the undisputed market leader. It describes fundamental concepts of programming languages by presenting design issues of the various language constructs, examining the design choices for these constructs in a few common languages, and critically comparing the design alternatives. This book allows those with the ability to program to learn how to choose appropriate languages for certain tasks, increase their abilities to learn new languages, and understand the significance of implementation. It illustrates various language constructs and design alternatives through Java, JavaScript, C++, C, Ada, and Fortran, and intertwines discussions of object-oriented programming material with the discussions of the non-OO imperative languages. It also provides extensive material on semantics. This new edition is updated to include a new chapter covering parsing, new material on JavaScript, and updated material on Java 1.3. This book is suitable for programmers who want to get into the theory behind programming-language development and utilization.
Язык:
Рубрика: Computer science /Языки программирования /
Статус предметного указателя: Готов указатель с номерами страниц
ed2k: ed2k stats
Издание: 5th edition
Год издания: 2001
Количество страниц: 698
Добавлена в каталог: 22.11.2005
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Subscripts 234—238
Substring references 241
subtypes 464
superclasses 460
Support, abstraction 16
Support, Ada 95 object-oriented programming 498—502
Support, C++ object-oriented programming 488—496
Support, Eiffel object-oriented programming 502—505
Support, Java object-oriented programming 496—498
Support, switch statement 80
Symbolic logic 631
Symbols, nonterminal 110
Symbols, start 111
Symbols, terminal 111
Synchronization 520
synchronize modifier 99
Synchronous messages passing 534
Syntax 14—15 106
Syntax, description of 107—109
Syntax, LISP 52—53
Syntax, methods 109—123
Synthesized attributes 124
systems programming 7
Tables, VMT (virtual method table) 509
Tagged types 499
Tags 253
Task ready queues 522
Tasks, actor 536
Tasks, Ada 534—539
Tasks, concurrency 520
Tasks, descriptors 524
Tasks, server 537
Tasks, termination 542
Tcl language 7
Templates 383—385
Terminal symbols 111
Terminal values 324
Termination tasks 542
Terms, elements of Prolog 639
ternary operators 283
Then clause 136
Theorems, proving 634—636
Thompson, Ken 80
Thread class (Java) 546—547
Thread of control 519
Three-way selectors 318
throw, C++ 576 577
throw, Java 580
throw, throws 581—582
Thunks 369
Time, binding 186
Tinman document 86
tk language 8
Tokens 107 155
Tombstones 269
Top-down parsers 160—161
Top-down resolution 643
Total correctness 140
Tracing models 646
Trade-offs, design 24—25
Trees see “Parse trees”
Turner, David 55
Two-way selectors 312—313
type checking 193—194
Type checking, parameters 366—367
Type checking, polymorphism 465
Type checking, reliability 17
Type checking, Smalltalk 485—487
Type, array 234—242
Type, associative array 246—247
Type, binding 187—190
Type, Boolean 224
Type, compatibility 196—199
Type, conversions 293—296
Type, decimal 223—234
Type, derived 197
Type, enumeration 223
Type, errors 194
Type, explicit conversion 295
Type, floating point 222—223
Type, integer 222
Type, limited private 443
Type, ordinal 230
Type, pointer 260—268
Type, primitive 221
Type, private 443
Type, record 248—252
Type, references 267
Type, set 258—259
Type, strings 225—226
Type, strong typing 194—196
Type, subrange 232—233
Type, subtypes 464
Type, tagged 499
Type, union 252—257
Type, variables 185
Unary assignment statements 283 302—303
UNCHECKED_CONVERSION 195
UNCHECKED_DEALLOCATION 265
Unconditional branch statements 337—339
UNI VAC 43
Unicode 55
Unification 635
Union types, Ada 255—257
Union types, design 253
Union types, evaluation criteria 257
Union types, free unions 253
Union types, implementation 257
Union types, Pascal 253—255
Units, generic 382
UNIVAC I 42
UNIX 7 15
User-defined abstract data types 437—438
User-defined exception handlers 564—565
User-defined ordinal types 230—233
User-defined overloaded operators 390—391
User-located loop control mechanisms 334—336
UW-Pascal 270
val statement 618
Values, aggregate 239
Values, attribute grammars 127—128
Values, initial 324
Values, pass-by-value 359—360
Values, pass-by-value-result 361
Values, terminal 324
Values, types of returned 388
values, variables 185—186
Variable-size cells 274—275
Variables for loop 230
Variables, anonymous 260
Variables, binding 186—193
Variables, bound 604
Variables, classes 461
Variables, constrained variant 256
Variables, declarations 187—188
Variables, explicit heap-dynamic 192—193
Variables, float 305
Variables, garbage 263
variables, global 364 388
Variables, implicit heap-dynamic 193
Variables, initialization 211
Variables, lifetimes 207
variables, local 357
Variables, local scalar 404
Variables, loop 324
Variables, lost heap-dynamic 263
Variables, named constants 209—211
variables, names 181—183
Variables, nonlocal 199 388
Variables, program variables 183—186
Variables, referencing environments 207—209
variables, scope 199—206
Variables, Smalltalk 469—470
Variables, stack-dynamic 191—192
variables, static variables 191
Variables, StringBuffer 226
Variables, strong typing 194—196
variables, type checking 193—194
Variables, type compatibility 196—199
VAX assembly language 11
VDL (Vienna Definition Language) 131
Vector processors 518
Virtual class 462
Virtual computer interfaces 26
Virtual method 462
Visibility of variables 199
VMT (virtual method table) 509
void * pointers 266
von Neumann, John 20—21 29
Wait statement 526
Wall, Larry 7 153
Weakest preconditions 132—133
Web pages, Java 100
Weinberger, Peter 7
Wexelblat, Richard 101
Wheeler, David J. 43
while loops 136—140 332—334
whileTrue: method 475—476
Whitaker, Lt. Col. William 86
widening conversions 293
Wienberger, Peter 7
Wilkes, Maurice V. 43
Wirth, Niklaus 77 82 83 515
with clause 250
with statements 183
Writability, abstraction 16
Writability, expressivity 16—17
Writability, orthogonality 15—16
Writability, reliability 18
Writability, simplicity 15—16
Xerox PARC (Palo Alto Research Center) 92
Zuse, Konrad 1 38—41
Реклама