Проект: РГУ/Transformation Patterns Средства непроцедурной реализации распараллеливающих преобразований программ |
|
Основные разработчики | |
ВЦ РГУ (Вычислительный Центр Ростовского Государственного университета) к.т.н., доцент А.А. Букатов |
|
Тип (теория, программная система, приложение, аппаратные средства) проекта | |
Программная система: система распараллеливающих преобразований программ | |
Краткое описание | |
Предлагается язык записи правил
распараллеливающих преобразований программ
вида (допускаются более сложные и более простые
конструкции): rule имя-правила (параметры): входной-образец && условия-применимости ==> выходной-образец end Предлагаемый язык позволяет описать большинство распараллеливающих преобразований программ, в том числе, не поддерживаемых другими методами. Приводится пример преобразования последовательного суммирования элементов массива в рекурсивный алгоритм "попарного" суммирования. Используя специализированную объектно-ориентированную (ОО) СУБД для размещения в ней внутреннего представления исходной программы и интерпретируя (образцы) правила преобразований как запросы к ней, предлагается эффективно выполнять преобразование изходной программы. |
|
Область применения | |
Нет данных | |
Связь с другими проектами/платформами | |
Нет данных | |
Завершенность проекта | |
Нет данных | |
Контакты, ссылки на доп. информацию | |
А.А. Букатов тел.: (0078632) 28-04-55, e-mail: baa@rsu.md.runnet.ru |
© Лаборатория Параллельных Информационных Технологий, НИВЦ МГУ