Проект: РГУ/Transformation Patterns

Средства непроцедурной реализации распараллеливающих преобразований программ

Основные разработчики
ВЦ РГУ (Вычислительный Центр Ростовского Государственного университета)
к.т.н., доцент А.А. Букатов
Тип (теория, программная система, приложение, аппаратные средства) проекта
Программная система: система распараллеливающих преобразований программ
Краткое описание
Предлагается язык записи правил распараллеливающих преобразований программ вида (допускаются более сложные и более простые конструкции):
rule имя-правила (параметры): 
входной-образец && условия-применимости ==> выходной-образец end

Предлагаемый язык позволяет описать большинство распараллеливающих преобразований программ, в том числе, не поддерживаемых другими методами. Приводится пример преобразования последовательного суммирования элементов массива в рекурсивный алгоритм "попарного" суммирования.

Используя специализированную объектно-ориентированную (ОО) СУБД для размещения в ней внутреннего представления исходной программы и интерпретируя (образцы) правила преобразований как запросы к ней, предлагается эффективно выполнять преобразование изходной программы.

Область применения
Нет данных
Связь с другими проектами/платформами
Нет данных
Завершенность проекта
Нет данных
Контакты, ссылки на доп. информацию
А.А. Букатов тел.: (0078632) 28-04-55, e-mail: baa@rsu.md.runnet.ru

© Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ
Rambler's Top100