Касьянов В.Н. — Оптимизирующие преобразования программ :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Красота

Касьянов В.Н. — Оптимизирующие преобразования программ

Касьянов В.Н. — Оптимизирующие преобразования программ

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

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

Название: Оптимизирующие преобразования программ

Автор: Касьянов В.Н.

Аннотация:

Оптимизирующие преобразования, ранее использовавшиеся только в трансляторах для повышения качества рабочих программ, начинают играть все более важную технологическую роль при решении задач автоматизации программирования в целом. Цель книги -дать систематическое изложение теории и применении оптимизирующих преобразований программ для современных языков и ЭВМ.
Книга рассчитана на разработчиков и пользователей универсального матобеспечения ЭВМ, а также на студентов, специализирующихся по системному и теоретическому программированию

Язык:

Рубрика: Computer science/

Серия: Сделано в холле

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$\Delta$ -соответствие      54
$\Psi$ -связь      69
A-представление      214
F-дуга      15
F-линия      202
F-область      104
F-путь      15
F-ранг вершины      202
N-вершина      128
Адрес      19 39
Адресация абсолютная      19
Адресация косвенная      19
Алфавит      12
Алфавит операций      259
Алфавит параметров      259
Альт      101
Альт внешний      213
Альт внутренний      213
Анализ контекстный      239
Анализ лексический      237
Анализ потока данных      96
Анализ потока управления      95
Анализ потоковый      94
Анализ семантический      239
Анализ синтаксический      238
Аннотация      277
Аннотация, директива      278
Аннотация, утверждение      278
Аргумент      30
Аргумент необязательный      32
Аргумент обязательный      32
АТ-правило      262
Атрибут      227
Атрибут наставник      261
Атрибут синтезируемый      260
Атрибут-запрос      242
Атрибут-результат      242
База (программы)      286
Базис      35
Бикомпонента      14
Блок линейный      162
Блок линейный односвязный      163
Блок линейный простой      163
Блок линейный пустой      163
Вектор      22
Вектор обобщенный      22
Вектор упакованный      22
Вершина F-достижимая      15
Вершина графа      12
Вершина дуги конечная      12
Вершина дуги начальная      12
Вершина пути внутренняя      13
Вершина пути конечная      13
Вершина пути начальная      13
Вершина фрагмента входная      100
Вершина фрагмента выходная      100
Вершина фрагмента конечная      100
Вершина фрагмента начальная      100
Вес оператора      120
Вес схемы      120
ВУ-язык      21
Вход      30
Вход необязательный      36
Вход обязательный      36
Вход фрагмента      100
Вхождения константные      168
Вхождения эквивалентные      163
Вызов особый      35
Выполнение схемы      41
Выражение избыточное      197
Выражение логическое      36
Выражение простое      36
Выражения эквивалентные      139
Высказывание      8
Выход      30
Выход необязательный      36
Выход обязательный      36
Вычисления индуктивные      84
Вычисления смешанные      279
Гамак      101
Гамак неразложимый      212
Гамак простой      212
Гамак разложимый      212
Гамак составной      212
Генерация      239
Глубина нумерации      106
Глубина схемы аранжируемой      106
Голова бикомпоненты      153
Граф      12
Граф ациклический      13
Граф без разветвлений      14
Граф вызовов      34
Граф зацепленности      35
Граф информационный      181
Граф конечный ориентированный      12
Граф косвенной адресации      34 72
Граф линейный      14
Граф нагруженный      14
Граф полный      13
Граф помеченный      14
Граф процедур      34
Граф сильно-связный      13
Граф тривиальный      13
Граф упорядоченный      13
Граф управляющий      31
Графы изоморфные      14
Графы равные      14
Дерево      15
Дерево атрибутное      239
Дерево глубинное остовное      125
Дерево простое      259
Дерево разбора      238
Дескриптор      28
Детализация прямая      55
Длина последовательности сведения      115
Длина цепочки      12
Дуга      12
Дуга F-обратная      15
Дуга F-прямая      15
Дуга внешняя      54
Дуга вперед      106
Дуга древесная      126
Дуга заходящая      12
Дуга исходящая      12
Дуга назад      106
Дуга обратная      126
Дуга поперечная      126
Дуга прямая      126
Дуга существенная      188
Задача обратная      191
Задача прямая      191
Замыкание псевдораскраски      70
Запроцедуривание      88
Значение информационное      38
Значение переменной      41
Значение переменной начальное      40
Значение простое      28
Значение ранга l      72
Значение составное      38
Значение термальное      163
Значение фиктивное      38
Значение части переменной      42
Значения совпадающие      39
Зона      100
Зона максимальная      100
Зона многовходовая      100
Зона одновходовая      100
Иерархия вложенных альтов      214
Иерархия зон      158
Инвариант      280

Интервал      101
Интервал максимальный      108
Интерпретация      30 40
Интерпретация нерезультативная      43
Интерпретация результативная      43
Интерпретация свободная      49
Интерпретация согласованная      50
Интерпретация эрбранова      49
КА-граф      34 72
КА-схема      67
КА-схема правильная      70
Каркас      114
Класс задач      16
Класс эквивалентности      10
Код операции      11
Команда РАМ      20
Команда РАМ арифметическая      20
Команда РАМ ввода      20
Команда РАМ вывода      20
Команда РАМ логическая      20
Команда РАМ останова      20
Команда РАМ перехода      20
Композиция отношений      10
Компонента линейная      82
Компонента линейная схемы      101
Компонента сильная      14
Конкатенация      12
Конкретизатор      302
Конкретизация      271
Конкретизация базовая      817
Конкретизация более полная      278
Конкретизация полная      276
Конкретизация редуцирующая      285
Конкретизация стандартная      317
Константы зоны      173
Конструкторы типов      22
Контекст      275
Контекст покрывающий      277
Контекст сильнейший      142
Контекст слабейший      142
Контекстные условия      90
Контур      13
Конфигурация      19
Конфигурация заключительная      19
Конфигурация начальная      19
Конфигурация ошибочная      19
Корень (дерева)      15
Кортеж      9
Критерий наглядности      232
Критерий надежности      232
Критерий эффективности      232
Лексемы      237
Лента входная      18
Лента выходная      18
Линеаризация      170
Луч      100
Маршрут информационной связи      181
Маршрут пары      186
Масштаб      54
Масштаб тривиальный      54
Машина равнодоступная адресная      18
Машина РАМ      18
Машина с произвольным доступом к памяти      18
Машина трансформационная      320
Множество      8
Множество безопасное аргументов      170
Множество безопасное информационное      170
Множество безопасное обязательных аргументов      170
Множество безопасное обязательных результатов      170
Множество интерпретаций      41
Множество интерпретаций хорошо определенное      139
Множество пустое      8
Множество разрезающее контуры      103
Множество цепочек      150
Множество цепочек вложенное      150
Множество цепочек зацепленное      150
Множество частично упорядоченное      10
Модель точная      59
МУГ-2      256
Мультиграф      14
Набор      24
Набор преобразований      82
Набор преобразований полный      141
Направленность преобразований      91
Неправдоподобности      235
Нумерация      15
Нумерация K      201
Нумерация L      203
Нумерация M      111
Нумерация N      123
Нумерация T      129
Нумерация базисная      122
Нумерация обратная      123
Нумерация правильная      103
Нумерация прямая      122
Нумерация разумная      106
О-схема      184
Область действия      140
Область сильно связная      100
Образ      10
Обход      15
Объединение      11
Объект (информационный)      38
Объект простой      38
Объект составной      38
Операнд      19 30
Операнды      36
Операнды взаимно достижимые      188
Операнды несовместимые      36
Операнды несовместимые во фрагменте      54
Операнды связные      36
Операнды связные во фрагменте      54
Оператор      25
Оператор бесполезный      140
Оператор доступа      247
Оператор заключительный      37
Оператор избыточный      141
Оператор именования      66
Оператор информационно обеспеченный      140
Оператор конечный      37
Оператор начальный      37
Оператор останова      37
Оператор прерывания      26
Оператор присваивания      25
Оператор разыменования      66
Оператор составной      26
Оператор условный      25
Оператор цикла      25
Операция      10
Операция n-арная      10
Операция ассоциативная      10
Операция бинарная      10
Операция дистрибутивная      12
Операция идемпотентная      10
Операция именования      66
Операция коммутативная      10
Операция монотонная      12
Операция разыменования      66
Операция расширенная      23
Операция стандартная      247
Операция тождественная      10
Операция унарная      10
Оптимизация      79
Оптимизация в контексте      273
Оптимизация глобальная      80
Оптимизация квазилокальная      80
Оптимизация локальная      80
Оптимизация машинно-независимая      79
Оптимизация машинно-ориентированная      79
Оптимизация покадровая      80

1 2

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте