r4 - 13 Sep 2006 - 14:21:30 - Sergei RomanenkoYou are here: TWiki >  Refaldevel Web > RFBR2007 > RFBR2007-4-4

4.4. Ожидаемые в конце 2007 года научные результаты (развернутое описание с оценкой степени оригинальности; форма изложения должна дать возможность провести экспертизу результатов)

  1. Исследование проблем, возникающих при компиляции с Рефала+ в байткоды объектно ориентированных языков CIL и JVM. Исследование методов отображения структур данных Рефала+ на структуры данных CIL и JVM и способов преодоления ограничений, присущих JVM (в частности, реализация хвостовой рекурсии). Реализация соответствующих компиляторов. (В настоящее время таких компиляторов не существует.)
  2. Исследование проблем, возникающих при погружении реализации Рефала+ в интегрированные среды разработки. При этом целью является создание комфортной среды разработки и отладки программ на Рефале+ и подготовка инструментария для последующих работ по преобразованию и распараллеливанию Рефал-программ. (В настоящее время не существует реализаций Рефала Плюс интегрированных в развитые среды разработки.)
  3. Исследование методов глобального семантического анализа компонент факторизации мета-дерева развертки программы в процессе суперкомпиляции. Совершенствавание разработанных нами ранее и разработка новых алгоритмов такого анализа. Реализация этих алгоритмов. Использование результатов глобального анализа по ходу дела суперкомпиляции (в режиме "on-line") иногда позволяет понизить временной порядок преобразуемой программы P. В настоящее время среди реально существующих специализаторов только реализованный нами суперкомпилятор SCP4 имеет инструменты понижения временного порядка программы P, - все другие специализаторы способны уменьшать только мультипликативную константу сложности.
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r4 < r3 < r2 < r1 | More topic actions
 
R+

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback