Авторизация
Поиск по указателям
Себеста Р.У. — Основные концепции языков программирования
Обсудите книгу на научном форуме
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Основные концепции языков программирования
Автор: Себеста Р.У.
Аннотация: Книга, ставшая бестселлером в США, посвящена всестороннему обсуждению основных концепций языков программирования. Автор описывает фундаментальные понятия программирования на примере вопросов разработки различных языковых конструкций, подвергая критическому анализу их реализацию в широком спектре языков программирования, таких как FORTRAN, PASCAL, PL/1, C, C++, Ada, Java, Smalltalk, Eiffel и LISP. Материал книги охватывает все парадигмы программирования, начиная с функциональной и заканчивая объектно-ориентированной, и, несомненно, представляет интерес и как учебник по современным методологиям.
Язык:
Рубрика: Computer science /
Статус предметного указателя: Готов указатель с номерами страниц
ed2k: ed2k stats
Издание: Пятое издание
Год издания: 2001
Количество страниц: 668
Добавлена в каталог: 02.05.2009
Операции: Положить на полку |
Скопировать ссылку для форума | Скопировать ID
Предметный указатель
Абстрактные типы данных 433
Абстрактные типы данных в языке Ada 437
Абстрактные типы данных в языке C++ 441
Абстрактные типы данных в языке Java 444
Абстрактные типы данных в языке Modula-2 440
Абстрактные типы данных параметризованные 446
Абстракция 37 430
Абстракция процесса 430
Аксиома 153
Активационная запись 395
Активный бит 421
Антецедент 619
Атрибут 144
Атрибут внутренний 145
Атрибут синтезированный 144
Атрибут унаследованный 145
Атрибутивные вычислительные функции 144
Блок 195 416
Вариант записи 248
Взаимная блокировка 510
Возбуждение исключительной ситуации 547
Возобновление сопрограмм 386
Время связывания 179
Вывод предложения 129
Вывод предложения левосторонний 130
Вывод предложения правосторонний 130
Выражение булевское 290
Выражение отношений 289
Выражение смешанное 287
Выражение, сокращенное вычисление 291
Высказывание 616
Высказывание атомарное 617
Генератор промежуточных команд 49
Генератор языка 126
Гипотеза 621
Главный модуль 387
Глубина вложения 406
Глубина статическая 406
Грамматика 128
Грамматика атрибутивная 143
Грамматика неоднозначная 132
Грамматическая лексема 125
Граф наследования 455
Граф ориентированный 139
Граф синтаксический 139
Данные-члены 441
Дерево наследования 455
Дерево полностью определенное 145
Дерево синтаксического анализа 131
Деструктор 442
Динамическая память 255
Динамический массив 94
Динамическое связывание 456
Динамическое связывание в языке Ada 493
Динамическое связывание в языке C++ 485
Динамическое связывание в языке Eiffel 496
Динамическое связывание в языке Java 489
Доступ глубокий 419
Доступ теневой 421
Единица компиляции 431
Загрузчик 396
Задача 507
Запись 242
Запись активации 395
Запись, иерархическая структура 243
Запись, полностью определенная ссылка на поле 244
Защищенные команды 334
Идентификаторы 35
Инвариант цикла 157
Индекс массива 228
Индикатор 411
Инкапсуляция 431
Интерфейс сообщения 454
Исключительная ситуация 547
Исключительная ситуация непроверенная 570
Исключительная ситуация проверенная 570
Искусственный интеллект 27 69
Исчисление предикатов 617
Итеративная конструкция 318
Итератор 330
Класс 454
Класс виртуальный 456
Класс производный 454
Класс родительский 454
Клиенты 433
Компиляция 47
Компиляция независимая 381
Компиляция раздельная 381
Композиция функций 582 600
Конкретизация 621 624
Консеквент 619
Константа именованная 203
Константа манифестная 204
Конструктор 442
Конструкция в функциональном языке 583
Контекстно-свободные грамматики 127
Конъюнкция 626
Корректность полная 160
Корректность частичная 160
Куча 186 255
Левое значение 178
Лексема 125
Лексический анализатор 48
Ленивые вычисления 74
Логический вывод типа 183
Логическое программирование 102 616
Лямбда-выражение 582
Массив автоматический 230
Массив ассоциативный 241
Массив динамический 230
Массив статический 230
Массив фиксированный автоматический 230
Массив, запись по столбцам 238
Массив, запись по строкам 237
Машинный язык 46
Метаязык 128
Метод виртуальный 456
Метод класса 454 455
Метод класса замещаемый 454
Метод класса замещающий 454
Метод прототипов 362
Метод экземпляра 455
Множество в языке Modula-2 253
Множество в языке Pascal 253
Модуль 431
Модуляризация 431
Монитор 516 520
Мусор 258
Наследование 453
Наследование бриллиантовое 460
Наследование в языке Ada 491
Наследование в языке C++ 481
Наследование в языке Eiffel 495
Наследование в языке Java 489
Наследование в языке Smalltalk 479
Наследование интерфейса 458
Наследование множественное 455
Наследование одиночное 455
Наследование реализации 458
Настраиваемые компоненты 377
Настраиваемые подпрограммы в языке Ada 377
Настраиваемые подпрограммы в языке C++ 379
Неймановская архитектура 41
Неймановское узкое место 50
Нетерминалы 128
Обзор Данных динамический 198
Обзор Данных статический 193
Обработка исключительных в языке Ada 557
Обработка исключительных в языке C++ 563
Обработка исключительных в языке Java 567
Обработка исключительных в языке PL/1 552
Обработка исключительных ситуаций 38 547
Объединение 246
Объединение в языке Ada 95 250
Объединение в языке ALGOL 68 247
Объединение в языке Pascal 248
Объединение размеченное 247
Объединение свободное 247
Объект 432 454
Объектно-ориентированное программирование 109
Оперативная память 45
Оператор асинхронный 531
Оператор безусловного перехода 331
Оператор бинарный 277
Оператор ветвления 306
Оператор ветвления многовариантный 311
Оператор ветвления трехвариантный 312
Оператор отношений 289
Оператор перегруженный 284
Оператор приоритет выполнения 278
Оператор согласования 247
Оператор тернарный 277
Оператор тождественный 278
Оператор унарный 277
Оператор управляющий 304
Оператор цикла 318
Оператор цикла в языке Ada 323
Оператор цикла в языке ALGOL 60 321
Оператор цикла в языке C 324
Оператор цикла в языке C++ 324
Оператор цикла в языке FORTRAN 319
Оператор цикла в языке Java 324
Оператор цикла в языке Pascal 323
Операторы присваивания 293
Операционная система 46
Операционная система UNIX 53
Операция элементная 234
Освобождение памяти ленивый подход 266
Освобождение памяти энергичный подход 266
Очередь задач 510
Пакет 437
Пакет, спецификация 437
Пакет, тело 437
Параллельность в языке Ada 530
Параллельность в языке High-Performance FORTRAN 538
Параллельность в языке Java 532
Параллельность логическая 506
Параллельность физическая 506
Параметры цикла 318
Перегруженные литералы 224
Переменная 41 177
Переменная автоматическая 185
Переменная безымянная 255
Переменная видимая 192
Переменная глобальная 383
Переменная динамическая 255
Переменная зависящая от предыстории 184
Переменная нелокальная 193 383
Переменная неявная динамическая 186
Переменная ограниченная вариантная 250
Переменная потерянная динамическая 258
Переменная статическая 184
Переменная экземпляра 455
Переменная явная динамическая 186
Переменная, адрес 177
Переменная, альтернативное имя 178
Переменная, значение 179
Переменная, имя 177
Переменная, инициализация 204
Переменная, класса 455
Переменная, неявное объявление 181
Переменная, область видимости 192
Переменная, обработка объявления 185
Переменная, размещение в памяти 184
Переменная, тип 179
Переменная, удаление из памяти 184
Переменная, явное объявление 181
Планировщик 509
Побочный эффект функции 283
Подкласс 454
Подпрограмма активная 202 347 400
Подпрограмма настраиваемая 377
Подпрограмма перегруженная 375
Подпрограмма полиморфная 377
Подпрограмма, вызов 347
Подпрограмма, заголовок 347
Подпрограмма, ключевые параметры 349
Подпрограмма, определение 347
Подпрограмма, передача параметров по значению 355
Подпрограмма, передача параметров по значению и результату 356
Подпрограмма, передача параметров по имени 359
Подпрограмма, передача параметров по результату 356
Подпрограмма, передача параметров по ссылке 357
Подпрограмма, позиционные параметры 349
Подпрограмма, профиль параметров 347
Подпрограмма, режим ввода 354
Подпрограмма, режим ввода-вывода 354
Подпрограмма, режим вывода 354
Подпрограмма, фактические параметры 348
Подпрограмма, формальные параметры 348
Подтип 458
Подтип в языке Ada 95 191
Подцель 627
Порождение языка 126
Последующая проверка 318
Постусловие 153
Поток управления 506
Правило 128 626
Правило леворекурсивное 136
Правило логического вывода 153
Правило логического следствия 155
Правило праворекурсивное 136
Правило рекурсивное 129
Правое значение 179
Предварительная проверка 318
Предикативные функции 144
Предложения 125
Предусловие 153
Предусловие слабейшее 153
Преобразование типов расширяющее 286
Преобразование типов сужающее 286
Преобразование типов явное 288
Проверка типов 38 187
Программа, надежность 38
Программирование императивное 74
Программирование объектно-ориентированное 452
Программное обеспечение системное 28
Продолжение выполнения программы 550
Продукция 128
Прозрачность ссылок 584
Протокол сообщения 454
Процессор 45
Раздел закрытый 438
Распознавание языка 126
Редактор связей 49 396
Резолюция 620
Санк 364
Связывание 179
Связывание динамическое 180
Связывание подпрограмм 394
Связывание подпрограмм глубокое 374
Связывание подпрограмм специальное 374
Связывание подпрограмм теневое 374
Связывание статическое 180
Связь динамическая 398
Связь статическая 398
Семантика 124
Семантика аксиоматическая 152
Семантика декларативная 622
Семантика денотационная 162
Реклама