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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

Рубрика: Computer science/

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Оптимизация универсальная      79
Оптимизация управляемая      93
Остов      14
Отношение      9
Отношение антисимметричное      9
Отношение достижимости      9
Отношение моделирования      52
Отношение обратное      9
Отношение рефлексивное      9
Отношение симметричное      9
Отношение транзитивное      9
Отношение функциональное      10
Отношение эквивалентности      9
Отображение      10
Отображение биективное      10
Отображение инъективное      10
Отображение сюръективное      10
Очередь      23
Память общая      179
Память РАМ      19
Память распределенная      179
Паспорт      23
Перевод локальный      61
Переключатель      36
Переменная      36
Переменная активая      140
Переменная живая      140 181
Переменная занятая      140 181
Переменная индуктивная      175
Переменная константная      195
Переменная линейно-рекурсивная      175
Переменная мертвая      140 181
Переменная свободная      140 181
Переменные несовместимые      182
Переменные сильно несовместимые      183
Переменные совместимые      182
Пересечение      11
Повторность преобразования      83
Подграф      14
Подграф запрещенный      113
Подзначение      39
Подмножество      8
Подмножество собственное      9
Подмножество универсальное      9
Подцепочка      12
Показатель замедления      271
Полупуть      13
Полурешетка      11
Полурешетка свойств      191
Пометка      4
Понижение силы операций      172
Порядок      10
Порядок строгий      10
Порядок частичный      10
Потомок (вершины)      15
Правило преобразования процедурное      92
Правило преобразования схемное      92
Правило трансформационное атрибутное Прагматы      279
Предикат      8
Предок (вершины)      15
Представление зонно-интервальное      159
Предшественник      12
Предшественник обязательный      102
Предшественник обязательный непосредственный      103
Преемник      12
Преемник обязательный      102
Преемник обязательный непосредственный      103
Преобразование      10
Преобразование бесконтекстное      79
Преобразование контекстно-свободное      79
Преобразование корректное      91
Преобразование оптимизирующее      78
Преобразователь      31 87
Преобразователь обобщенный      101
Преобразователь пометок      191
Преобразователь свойств      191
Префикс      12
Приведение      279
Присваивание      36
Присваивание необязательное      36
Присваивание обязательное      36
Проблема NP-полная      17
Программа аннотированная      277
Программа базовая      277
Программа внутренняя      246
Программа крупноблочная      41
Программа одного выполнения      287
Программа остаточная      279
Программа РАМ      19
Программа самоопределенная      246
Программирование конкретизирующее      228
Программирование сборочное      228
Программирование синтезирующее      228
Произведение (множеств)      9
Прообраз      10
Просмотр      239 264
Протокол      19
Протокол выполнения      19
Псевдораскраска      69
Псевдораскраска корректная      69
Псевдораскраска точная      69
Путь      13
Путь допустимый      44
Путь замкнутый      13
Путь простой      13
Путь простой несокращаемый      106
Путь простой сокращаемый      106
Р-схема      185
Разбиение      9
Разгрузка участков повторяемости      82
Разложение блока      163
Разметка вершин      14
Разметка дуг      14
Разметка корректная      194
Разметка насыщающая      194
Разметка полная      194
Разметка хорошая      194
Рам      18
Ранг операнда      71
Ранг переменной      70
Расклейка      182
Расклейка вырожденная      182
Расклейка экономная      120
Раскраска      37
Раскраска допустимая      184
Распознаватель      31 37
Распределение памяти      179
Распределение памяти каноническое      183
Расширение отношения      9
Реализация действий      87
Редукция      284
Редукция терма      49
Результат      30
Результат необязательный      32
Результат обязательный      32
Решетка      11
Решетка конечной длины      11
Решетка ограниченная      11
Сборка итеративная      318
Сборка последовательная      318
Сборка условная      318
Свойства интегральные      313
Свойства исполнений      96
Свойства последовательные      313
Свойства простые      313
Свойства состояний      97
Связь информационная      31 44
Связь управляющая      31
Символ базисный      36
Символ новый      54
Системы конкретизации      302
Системы построения трансляторов      237
Системы построения трансляторов атрибутные      256
Системы синтеза дедуктивного      230
Системы синтеза индуктивного      231
Системы синтеза трансформационного      229
Скат      6
Склейка      123
Слова      12
Слова выбора      36
Слова выполнимости      36
Слова значений      36
Сложность алгоритма      16
Сложность алгоритма временная      17
Сложность алгоритма емкостная      17
Совмещение переменных      259
Сокращение программы      88
Соотношение инвариантное      34
Состояние вычисления      19
Состояние памяти      19
Состояние памяти допустимое      286
Состояние памяти начальное      42
Состояние памяти промежуточное      280
Список      23
Список двусторонний      24
Список односторонний      24
Стек      23
Строка      23
Структура      21
Структура данных      21
Структуризация      95
Сужение отношения      8
Схема (программы)      2?
Схема k-производная      107
Схема аранжируемая      105
Схема кратная      166
Схема крупноблочная      41
Схема крупноблочная простая      139
Схема Мартынюка      98
Схема над общей памятью      32 184
Схема над распределенной памятью      32 185
Схема неаранжируемая      105
Схема несводимая      107
Схема одновходовая      44
Схема правильная      107
Схема предельная      107
Схема процесса трансляции      239
Схема пустая      44
Схема разборная      112
Схема регуляризуемая      110
Схема с косвенной адресацией      67
Схема с разметкой      191
Схема свободная      44
Схема сводимая      107
Схема сводимая обобщенно      110
Схема свойств состояний      191
Схема тотальная      44
Схематизация нелокальная      66
Схемы подобные      140
Схемы эквивалентные      44
Сцепление      12
Сын      15
Тени      241
Термы      49 163
Термы значений      49
Типы данных      21
Типы данных простые      22
Типы данных составные      22
Типы лексем      238
Точка сочленения      130
Трансдукторы      239
Тупиковость преобразований      89
Указатель      66
Указатель квалифицированный      246
Указатель неквалифицированный      246
Укладка графа      15
Укладка сильная      106
Укладка слабая      106
Укладка схемы      15
Унификация      259
Упрощение действий      84
Условия контекстные      262
Участок линейный      100
Участок повторяемости      151
Участок повторяемости i-го уровня      151
Участок повторяемости первого уровня      151
Участок экономии      80
Фаза генерации      241
Фаза декомпозиции      240
Фаза оптимизации      241
Факторграф      14
Факторизация      81
Факторсхема      101
Фрагмент      100
Функция      10
Функция частичная      10
Функция эффекта дуги      192
Функция эффекта пути      192
Цепочка      12
Цепочка выполнения      43
Цепочка замкнутая      149
Цепочка простая      149
Цепочка пустая      12
Цепь      11
Часть графа      14
Часть значения      39
Часть переменной      14
Часть переменной используемая      40
Часть переменной неиспользуемая      40
Часть переменной полная      39
Часть переменной пустая      39
Чистка вверх      83
Чистка вниз      83
Чистка гамака      88
Чистка программы      87
Чистка цикла      88
Шкала      23
Эквивалентность информационная      179
Эквивалентность функциональная      44
Экономия памяти      87
Элементы      9
Элементы несравнимые      11
Элементы списка      23
Элементы сравнимые      11
Этап анализа      241
Этап преобразований      241
Этапы трансляции      237
Эффект оптимизации      268
Эффект оптимизации по времени      268
Эффект оптимизации по памяти      268
Эффективность преобразования      92
Язык базовый      277
Язык внутренний      241
Язык высокого уровня      21
Язык интерпретационный      227
Язык конкретизации      276
Язык модельный      258
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте