Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Себеста Р.У. — Основные концепции языков программирования
Себеста Р.У. — Основные концепции языков программирования



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Основные концепции языков программирования

Автор: Себеста Р.У.

Аннотация:

Книга, ставшая бестселлером в США, посвящена всестороннему обсуждению основных концепций языков программирования. Автор описывает фундаментальные понятия программирования на примере вопросов разработки различных языковых конструкций, подвергая критическому анализу их реализацию в широком спектре языков программирования, таких как FORTRAN, PASCAL, PL/1, C, C++, Ada, Java, Smalltalk, Eiffel и LISP. Материал книги охватывает все парадигмы программирования, начиная с функциональной и заканчивая объектно-ориентированной, и, несомненно, представляет интерес и как учебник по современным методологиям.


Язык: ru

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: Пятое издание

Год издания: 2001

Количество страниц: 668

Добавлена в каталог: 02.05.2009

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абстрактные типы данных      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
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте