Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=оптимизирующие преобразования<.>)
Общее количество найденных документов : 1
1.


    Маевский, М. С.
    Язык описания преобразований программ [Текст] / М. С. Маевский // Информатика и системы управления. - 2008. - N 1 (15). - С. 131-141. - Библиогр.: с. 141 (6 назв. ) . - ISSN 1814-2400
УДК
^a004.41/.42
ББК 32.973-018
Рубрики: Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
программы -- преобразования программ -- компиляция -- язык описания преобразований программ (ЯОПП) -- ЯОПП -- семантика языка -- операционная семантика языка -- синтаксис языка -- оптимизирующие преобразования
Аннотация: В статье представлен язык описания преобразований программ. Данный язык предназначен для формализации формул контекстных условий и формул трансформаций с целью их последующего хранения и автоматической обработки.


Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)