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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Маевский М. С.
Заглавие : Язык описания преобразований программ
Серия: Интеллектуальные системы
Место публикации : Информатика и системы управления. - 2008. - N 1 (15). - С.131-141. - ISSN 1814-2400. - ISSN 1814-2400
Примечания : Библиогр.: с. 141 (6 назв. )
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): программы--преобразования программ--компиляция--язык описания преобразований программ (яопп)--яопп--семантика языка--операционная семантика языка--синтаксис языка--оптимизирующие преобразования
Аннотация: В статье представлен язык описания преобразований программ. Данный язык предназначен для формализации формул контекстных условий и формул трансформаций с целью их последующего хранения и автоматической обработки.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)