r2 - 03 Sep 2006 - 18:28:49 - Andrei KlimovYou are here: TWiki >  Refaldevel Web > RFBR2007 > RFBR2007-All

Сводная страница длинных пунктов заявки

Содержание коротких пунктов см. на головной странице заявки.

Для редактирования пункта перейдите на его страницу, кликнув по заголовку. Кликнув на номер пункта, вернетесь на головную страницу. Это общее правило для сводной страницы и для страниц с пунктами, поскольку заголовки определены на них вместе с текстом, а сюда попадают wiki-овским оператором INCLUDE.

Форма 1. Данные о проекте

1.1.1. Название проекта (на русском языке, с прописной буквы, строчными буквами)

Развитие метаязыка Рефал Плюс и методов прикладных метавычислений

АК 03.09.06: Это моя отсебятина для затравки. Два Сергея, решайте. Все участники, предлагайте.

В этом варианте отражена такая логика: основа проекта -- развитие Рефала; "украшение" проекта -- метавычисления:

  • они являюстя основным направлением приложений метаязыка Рефал
  • в данном проекте, как предложил Сергей Р., акцент на прорыв к приложениям через развитие "интерактивных" метавычислений в рамках визуальных студий
  • эпитет "прикладные" использован, чтобы
    • отразить предыдущий тезис
    • подстроиться под направление 07 (если я правильно понимаю, что оно "прикладное" по сравнению с 01 -- AK)

Варианты:

  • Развитие метаязыка Рефал Плюс и методов интерактивных метавычислений
  • Развитие метаязыка Рефал Плюс и методов прикладных метавычислений в системе человек-машина

Вопрос: Нужно ли в заголовке отразить суперкомпьютерное направление?

СР 11.09.06: "Мы тут посовещались с народом" (с официальным руководителем гранта)... Есть мнение, что названием лучше сделать

Развитие метаязыка Рефал Плюс и методов интерактивных метавычислений

1.5. Аннотация (не более 0,5 стр.)

В последние годы наблюдался значительный прогресс в разработке сложных и изощренных методов в области метавычислений (суперкомпиляция, специализация программ, частичные вычисления). Однако, практическое использование этих методов затруднено тем, что существующие метавычислители весьма недружелюбны к человеку. Большинство методов ориентированы на полностью автоматический режим работы, т.е. предполагается, что пользователь должен заранее подготовить задание для метавычислителя (сформулировав его на каком-то формализованном языке), а затем интерпретировать получившиеся результаты. При этом нет возможности ни наблюдать за процессом метавычислений, ни вмешиваться в него.

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

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

Также предполагается исследовать возможности интерактивных метавычислений в области распараллеливания программ.

Форма 4. Содержание инициативного проекта

4.1. Фундаментальная научная проблема, на решение которой направлен проект

Широкий круг невычислительных задач, требующих высокой производительности, включая задачи искусственного интеллекта, метавычислений (автоматизированного преобразования и генерации программ), символьных вычислений и компьютерной алгебры.

4.2. Конкретная фундаментальная задача в рамках проблемы, на решение которой направлен проект (если данная задача связана с какой-либо темой работ, выполняемых авторами по плану своей организации, - указать название и гос. регистрационный номер этой темы)

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

4.3. Предлагаемые методы и подходы (с оценкой степени новизны; общий план работ на весь срок выполнения проекта)

АК 03.09.06: Это то, что я собрал из переписки и на свой лад немного подредактировал.

СР 12.09.06: А я привел к такому виду.

  • Языки и инструментарий для метавычислений.
    • Разработка и реализация расширений языка Рефал+ с целью улучшения и облегчения взаимодействия программ на Рефала+ с программами, написанными на других функциональных и объектно ориентированных языках. При этом, в Рефал+ должны быть добавлены функции высших порядков и средства работы с объектами.
    • Разработка и реализация дополнений для интегрированных сред разработки (Eclipse и Visual Studio), облегчающих написание, отладку и переработку (рефакторизацию) программ на Рефале+.
    • Разработка методов компиляции Рефала Плюс в байткоды объектно-ориентированных языков на примере CIL и/или JVM. Исследование способов преодоления ограничений, имеющихся в CIL и JVM и затрудняющих эффективную реализацию некоторых особенностей Рефала+ (например, реализации хвостовой рекурсии средствами JVM).

  • Развитие методов метавычислений
    • Разработка специализатора программ для Рефала+.
    • Исследование возможностей и разработка методов интерактивного взаимодействия метавычислителей/специализаторов с человеком. Погружение специализаторов в интегрированные среды разработки (IDE). Это требует дальнейшего развития существующих методов метавычислений или разработки новых.
    • Разработка методов интерактивного взаимодействия со специализаторами функциональных языков на примере специализатора языка Рефал+.
    • Разработка методов интерактивного взаимодействия со специализаторами объектно-ориентированных языков на примере специализаторов языков CIL и Java.

  • Исследование методов распараллеливания программ на Рефале+
    • Разработка и реализация алгоритмов компиляции программ с Рефала+ в OpenTS? .

Нужно ли и как упомянуть суперкомпилятор АНдрея?

СР: Может быть нужно как-то "надуть" раздел, посвященный распараллеливанию? И правильно ли я сформулировал насчет OpenTS? ?

СР: Конкретные названия специализаторов лучше не упоминать, чтобы не ограничивать свободу маневра. Кто чего сделает, то и пойдет в отчет.

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

  1. Исследование проблем, возникающих при компиляции с Рефала+ в байткоды объектно ориентированных языков CIL и JVM. Исследование методов отображения структур данных Рефала+ на структуры данных CIL и JVM и способов преодоления ограничений, присущих JVM (в частности, реализация хвостовой рекурсии). Реализация соответствующих компиляторов. (В настоящее время таких компиляторов не существует.)
  2. Исследование проблем, возникающих при погружении реализации Рефала+ в интегрированные среды разработки. При этом целью является создание комфортной среды разработки и отладки программ на Рефале+ и подготовка инструментария для последующих работ по преобразованию и распараллеливанию Рефал-программ. (В настоящее время не существует реализаций Рефала Плюс интегрированных в развитые среды разработки.)
  3. Исследование методов глобального семантического анализа компонент факторизации мета-дерева развертки программы в процессе суперкомпиляции. Совершенствавание разработанных нами ранее и разработка новых алгоритмов такого анализа. Реализация этих алгоритмов. Использование результатов глобального анализа по ходу дела суперкомпиляции (в режиме "on-line") иногда позволяет понизить временной порядок преобразуемой программы P. В настоящее время среди реально существующих специализаторов только реализованный нами суперкомпилятор SCP4 имеет инструменты понижения временного порядка программы P, - все другие специализаторы способны уменьшать только мультипликативную константу сложности.

4.5. Современное состояние исследований в данной области науки, сравнение ожидаемых результатов с мировым уровнем

В настоящее время не существует реализаций Рефала+ с развитой интегрированной средой разработки, которая бы включала различные средства интерактивной помощи разработчику (раскрашивание синтаксиса, средства навигации по программе, средства рефакторизации программ, средства отладки). В то же время развитые среды разработки для многих других функциональных языков программирования (Haskell, SML, Scheme) - существуют. Однако, методы, применяемые в реализациях других языков, нуждаются в переработке для учета специфики Рефала+.

В области метавычислений (суперкомпиляция, специализация программ, частичные вычисления) в последние годы наблюдался значительный прогресс в разработке сложных и изощренных методов. Однако, имеются серьезные проблемы с доведением этих методов до практического использования, поскольку существующие метавычислители весьма недружелюбны к человеку. Большинство методов ориентированы на полностью автоматический режим работы, т.е. предполагается, что пользователь должен заранее подготовить задание для метавычислителя (сформулировав его на каком-то формализованном языке), а затем интерпретировать получившиеся результаты. При этом нет возможности ни наблюдать за процессом метавычислений, ни вмешиваться в него.

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

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

4.6. Имеющийся у коллектива научный задел по предлагаемому проекту: полученные ранее результаты (с оценкой степени оригинальности), разработанные методы (с оценкой степени новизны)

Язык Рефал+ был создан и сопровождался в ИПС РАН в сотрудничестве с ИПМ им. М.В.Келдыша и рядом других организаций. Исполнителями данного пороекта глубоко проработаны методы компиляции языка Рефала+. Эти методы лежат в основе всех существующих реализаций. С 1999г. в работах по развитию языка участвует группа специалистов МГУ.

Члены нашего коллектива также внесли вклад в развитие методов преобразования и автоматической генерации программ (суперкомпиляция, специализация программ, частичные вычисления).

В области частичных вычислений, благодаря работам С.А.Романенко, были предложены некоторые подходы, которые позволили улучшить результаты самоприменения специализаторов, сделать их более понятными и естественными. Эта линия затем была продолжена рядом других исследователей, что способстовало дальнейшему развитию теории частичных вычислений (что подтверждается высоким уровнем цитирования). Методы были опробованы в реализациях специализаторов для подмножества языка Scheme, которые использовались для обучения в ряде университетов и доступны в Интернете.

А.В.Климовым был предложен новый метод частичных вычислений, выполняемых динамически, в период выполнениях программы. Также предложено расширение функционального языка т.н. монотонными объектами.

А.В.Климовым, Ю.А.Климовым, С.А. Романенко (в соавторстве с другими) в последние годы было проведено обобщение метода частичных вычислений на объектно-ориентированные языки. Реализован первый прототип специализатора для промежуточного языка CIL платформы Microsoft.Net.

В области суперкомпиляции были проведены следующие теоретические и экспериментальные работы.

А.В.Климовым (в соавторстве) была выделена основа метода суперкомпиляции и введено понятие совершенного дерева процессов, на основе которого формализуются понятия прогонки. Эта статья оказала заметное влияние на дальнейшие работы по суперкомпиляции (судя по уровню цитирования).

А.В.Климовым проводились работы по разработке спецификаций суперкомпиляторов для модельного функционально языка. Спецификации позволяют точно формализовать понятие суперкомпиляции, абстрагируясь от алгоритмов принятия решений в конкретных суперкомпиляторах. На основе этого определения был доказын ряд свойств суперкомпиляторов и их спецификаций.

Также проводились работы по обобщению суперкомпиляции на объектно-ориентированные языки. В 1999-2003 годах Ю.А.Климовым был разработан экспериментальный суперкомпилятор для языка Java, в котором был реализован достаточно полно метод прогонки и в упрощенном виде конфигурационных анализ. Этот суперкомпилятор языка Java вместе со специализатором языка CIL использовался и будет далее использоваться для исследования и разработки методов решения прикладных задач с помощью специализации программ.

А.П. Немытых (в соавторстве) разработал и реализовал экспериментальный суперкомпилятор SCP4 для языка РЕФАЛ-5. Суперкомпилятор SCP4 свободно распространяется, демонстрация SCP4 доступна в режиме on-line(http://www.botik.ru/pub/local/scp/refal5/). Принципиально новым инструментом суперкомпилятора SCP4 является семантический анализ глобальных свойств (в частности, вычисление выходного формата) компонент факторизации мета-дерева развертки программы по ходу преобразований (в режиме "on-line") с последующей специализацией по обнаруженным глобальным свойствам.

В области параллельных вычислений проводились следующие работы.

В ИПС РАН (с 2000г. – совместно с МГУ) велись работы по созданию и сопровождению Т-системы, которая является средой поддержки параллельного выполнения программ и реализует автоматическое динамическое распараллеливание. Т-система показывает более высокое качество распараллеливания по сравнению с существующими средствами распараллеливания (например, MPI): коэффициент близости к линейному росту у Т-системы для большинства задач от 90 до 100 % и устойчивое сохранение высокого показателя этого коэффициента при росте числа процессоров (большие рамки масштабируемости). Низкоуровневые средства Т-системы сходны с низкоуровневыми средствами run-time support system языка Рефал+. Таким образом, имеется хорошая основа для проведения исследований по применению метавычислений для развития методов распараллеливания программ. С 1998 г. Т-система эксплуатируется на кластерных суперкомпьютерных установках в различных организациях России (ИПС РАН, НИЦЭВТ, МГИО, МГУ) и Беларуси (НГУИР, НИО «Кибернетика»). С 2000 года выполняется суперкомпьютерная Программа "СКИФ" Союзного государства, в которой Т-система является основным средством организации параллельного счета на кластерном уровне суперкомпьютеров "СКИФ". ИПС РАН является головным исполнителем от России в Программе "СКИФ".

4.7.1. Список основных публикаций коллектива, наиболее близко относящихся к предлагаемому проекту

АК 03.09.06: Ниже идут публикации ИПМ-овской части команды по теме "метавычисления". Надо еще добавить по Рефалу. Если в сумме окажется слишком много, выкинуть часть ссылок по метавычислениям, учитывая, что Рефал -- основное направление проекта, а метавычисления -- дополнительное. Первые кандидаты на выкидывание -- все Glueck&Klimov кроме "Occam", затем -- Klimov "Dynamic specialization", "Оссам", Klimov "Program specialization vs. program composition", все тезисы в Моряке (поскольку тезисы, а не статьи; их ценность для заявки разве что в том, что они свежие).

АО 11.09.06: Добавил публикации по Рефалу+ 2004 года.

-- Sergei Romanenko - 13 Sep 2006: Добавил ссылки на работы, сделанные в ИПС.

-- Sergei Romanenko - 13 Sep 2006: Добавил ссылки, присланные А.Немытых

  1. С. М. Абрамов, Н. В. Кондратьев. 1982. Компилятор, основанный на методе частичных вычислений, В сб.: Некоторые вопросы прикладной математики и программного обеспечения ЭВМ, МГУ.
  2. С. М. Абрамов, С. А. Романенко. 1988. Представление объектных выражений массивами при реализации языка Рефал, Препринт, No 186, Институт прикладной математики им. М. В. Келдыша АН СССР, М..
  3. Sergei A. Romanenko. 1988. A Compiler Generator Produced by a Self-Applicable Specializer Can have a Surprisingly Natural and Understandable Structure. In D. Bjorner, A. P. Ershov, and N. D. Jones (eds.), Workshop on Partial Evaluation and Mixed Computation, GI. Avernaxs, Denmark, October 1987, North-Holland, 1988, pages 445--463.
  4. Sergei A. Romanenko. 1990. Arity Raiser and Its Use in Program Specialization. In N.Jones (ed.), ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15--18, 1990, LNCS 432, Springer-Verlag 1990, pages 341--360.
  5. Р. Ф. Гурин, С. А. Романенко. 1991. Язык программирования Рефал Плюс, Интертех, М..
  6. С. М. Абрамов. 1991. Метавычисления и логическое программирование, Программирование No 3, pp. 31-44.
  7. Andrei V. Klimov. 1991. Dynamic specialization in extended functional language with monotone objects. ACM SIGPLAN Symposium on Partial Evaluation and Semantic-based Program Manipulation. (Yale University, New Haven, USA, June 17-19, 1991). SIGPLAN Notices, 26, No. 9 (September 1991), pp. 199-210.
  8. Robert Glueck and Andrei V. Klimov. 1993. Occam's razor in metacomputation: the notion of a perfect process tree, In Proceedings of International Static Analysis Symposium, Padova, Italy. Lecture Notes in Computer Science, Vol. 724, 112-123, Springer-Verlag 1993.
  9. S. Abramov. 1993. Metacomputation and program testing, Proc.The First International Workshop on Automated and Algorithmic Debugging (AADEBUG'93), Linkooping Univ., Sweden, 3-5 May, 1993, pp. 121-135.
  10. Robert Glueck and Andrei V. Klimov. 1994. Metacomputation as a tool for formal linguistic modeling. Cybernetics and Systems '94, 2, 1563-1570, World Scientific, Singapore, 1994.
  11. S. Abramov. 1994. Metacomputation and program testing, Теоретические и прикладные основы программных систем, Институт программных систем РАН, Переславль-Залесский.
  12. Robert Glueck and Andrei V. Klimov. 1995. Metasystem transition schemes in computer science and mathematics, World Futures: the Journal of General Evolution 45, 213-243, 1995.
  13. С. М. Абрамов. 1995. Метавычисления и их применение, Наука-Физматлит, M.
  14. V. F. Turchin, A. P. Nemytykh. 1995. Metavariables: Their implementation and use in Program Transformation, Technical Report, 1995, June, CSc. TR 95-012, City College of CUNY.
  15. V. F. Turchin, A. P. Nemytykh. 1995. A Self-Applicable Supercompiler, Technical Report, 1995, June, CSc. TR 95-010, City College of CUNY.
  16. Andrei V. Klimov. 1996. A specification of a class of supercompilers. In Draft Proceedings of the Dagstuhl Seminar on Partial Evaluation, WSI-96-6, p.232, Universitaet Tuebingen, Germany, 1996.
  17. A. P. Nemytykh, V. A. Pinchuk, V. F. Turchin. 1996. A Self-Applicable Supercompiler, Lecture Notes in Computer Science 1110, 322-337.
  18. A. P. Nemytykh, V. A. Pinchuk. 1996. Program transformation with Metasystem Transitions: Experiments with a Supercompiler, Lecture Notes in Computer Science 1181, 249-260.
  19. Robert Glueck and Andrei V. Klimov. 1997. A regeneration scheme for generating extensions. Information Processing Letters 62, 127-134, 1997.
  20. Robert Glueck and Andrei V. Klimov. 1997. On the degeneration of program generators by program composition. New Generation Computing 16, 75-96, 1997.
  21. S. Abramov, R. Gluck. 1998. Semantic Modifiers: an Approach to Non-Standard Semantics of Programming Languages, pp. 247-270.
  22. Andrei V. Klimov. 1998. Program specialization vs. program composition. ACM Computing Surveys 30, September 1998 electronic issue.
    http://www.acm.org/pubs/contents/journals/surveys/1998-30/
  23. С. М. Абрамов, А. Ю. Пономарев, Ю. В. Шевчук. 1999. Широко доступный Интернет как путь в открытое общество. Опыт Переславля-Залесского, Труды конференции, Proc. Интернет. Общество. Личность (ИОЛ-99), СПб.
  24. С. М. Абрамов, А. И. Адамович, М. Р. Коваленко. 1999. Т-система -- среда программирования с поддержкой автоматического динамического распараллеливания программ. Пример реализации алгоритма построения изображений методом трассировки лучей, Программирование 25 (2), 100 - 107.
  25. С. М. Абрамов, А. И. Адамович, А. П. Конышев. 1999. Т-система -- среда программирования с поддержкой автоматического динамического распараллеливания программ, Тезисы докладов, Proc. Десятая юбилейная международнза конференция по вычислительной механике и современным прикладным программным средствам, Переславль-Залесский, 7-12 июня 1999 г., МГИУ, М., pp. 14-15.
  26. С. М. Абрамов, А. И. Адамович A. K. Айламазян (ed.) 1999. Т-система -- среда программирования с поддержкой автоматического динамического распараллеливания программ, Программные системы. Теоретические основы и приложения, Наука-Физматлит, М..
  27. S. M. Abramov, R. Gluck. 2000. From Standard to Non-Standard Semantics by Semantics Modifiers, International Journal of Foundations of Computer Science 12 #2, pp. 171-211.
  28. S. M. Abramov, R. Gluck. 2000. Combining semantics with non-standard interpreter hierarchies, Lecture Notes in Computer Science 1974, pp. 201-213.
  29. S. M. Abramov, R. Gluck. 2000. The universal resolving algorithm: inverse computation in a functional language, Lecture Notes in Computer Science 1837, pp. 187-212.
  30. С. М. Абрамов, В. А. Васенин, Е. Е. Мамчиц, В. А. Роганов, А. Ф. Слепухин. 2000. Динамическое распараллеливание программ на базе параллельной редукции графов. Архитектура программного обеспечения новой версии Т-системы, Труды конференции, Proc.Всероссийская научная конференция "Высокопроизводительные вычисления и их приложения", 30 октября-2 ноября 2000 г., г. Черноголовка, Изд-во МГУ, М., pp. 261-264.
  31. S. M. Abramov, R. Gluck. 2001. Inverse Computation and the Universal Resolving Algorithm, Wuhan University Journal of Natural Sciences 6, #1-2, 31-45.
  32. С. М. Абрамов, В. А. Васенин, Е. Е. Мамчиц, В. А. Роганов, А. Ф. Слепухин. 2001. Динамическое распараллеливание программ на базе парал-лельной редукции графов. Архитектура программного обеспечения новойверсии Т-системы, Сборник научных трудов, Proc. Научная сессия МИФИ-2001, 22-26 января 2001 г., vol. 2, p. 234.
  33. S. M. Abramov, R. Gluck. 2002. The Universal Resolving Algorithm and its Correctness: Inverse Computation in a Functioanl Language, Science of Computer Programming, 193- 229.
  34. S. M. Abramov, R. Gluck. 2002. Principles of Inverse Computation and the Universal Resolving Algorithm, The Essence of Computation: Complexity, Analysis, Transformation (T. Mogensen, D. Schmidt, I. H. Sudborough, eds.), vol. No. 2566, Springer-Verlag, pp. 269-295, Essays Dedicated to Neil D. Jones.
  35. A.P. Nemytykh. 2002. A Note on Elemination of Simplest Recursions, In: Proceedings of the ACM SIGPLAN Asia-PEPM'02, ACM Press, pp:138-146, Aizu, Japan.
  36. Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko and Sergei Yu. Skorobogatov. 2003. Partial Evaluation for Common Intermediate Language. In Manfred Broy and Alexandre V. Zamulin (eds.), Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Lecture Notes in Computer Science, Vol. 2890, Springer-Verlag, December 2003. Pages 171-177.
  37. S. Abramov, R. Gluck, Y. Klimov А. К. Айламазян (ed.) 2003. An Improved Universal Resolving Algorithm for Inverse Computation of Non-Flat Languages, Математика, информатика: теория и практика. Сборник трудов, посвященный 10-летию Университета города Переславля, Изд-во "Университета города Переславля", Переславль-Залесский, ISBN 5-901795-02-4.
  38. A.P. Nemytykh. 2003. The Supercompiler SCP4: General Structure. Perspectives of System Informatics, Lecture Notes in Computer Science, vol. 2890, pp: 162-170.
  39. А. П. Немытых. 2004. Суперкомпилятор SCP4: общая структура. Proc. Международная конференция "Программные системы: теория и приложения", Переславль-Залесский, Т. 1, май 2004, Наука,-Физматлит, М.. c. 449-485
  40. С. М. Абрамов, А.Ю. Орлов. 2004. Компиляция в императивные языки синтаксического отождествления языка Рефал. Труды международной конференции "Программные системы: теория и приложения", ИПС РАН, г. Переславль-Залесский, май 2004 / Под редакцией С. М. Абрамова. В двух томах. -- М.: Физматлит, 2004. -- Т. 1, с.403-447.
  41. С. М. Абрамов, А. Ю. Орлов, Л. В. Парменова, С. М. Пономарева, А. Ф. Слепухин. 2004. Новый подход к реализации системы программирования Рефал Плюс. Труды международной конференции "Программные системы: теория и приложения", ИПС РАН, г. Переславль-Залесский, май 2004 / Под редакцией С. М. Абрамова. В двух томах. -- М.: Физматлит, 2004. -- Т. 1, с.373-401.
  42. С. М. Абрамов, А. Ю. Орлов, Л. В. Парменова, С. М. Пономарева, А. Ф. Слепухин. 2004. Система программирования Рефал Плюс: новый подход к реализации. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет", 20 - 25 сентября 2004 года, Новороссийск. С.101-103.
  43. Сергей Михайлович Абрамов, Владимир Александрович Роганов. 2004. Динамическая специализация как средство оптимизации распределенных вычислений и как метод создания адаптивных сервисов для GRID-систем, Proc. Международная конференция "Программные системы: теория и приложения", Переславль-Залесский, май 2004, Наука,-Физматлит, М.. с. 197-209
  44. A.V. Korlyukov and A.P. Nemytykh. 2004. Supercompilation of Double Interpretation (How One Hour of the Machine's Time Can Be Turned to One Second), (in English), Вестник национального технического университета "Харьковского политехнического института", Харьков, No. 1 (2004), pp: 123-150.
  45. Андрей В. Климов. 2005. Декларативное определение суперкомпиляции как отношения между входной и выходной программами и его свойства. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет: технологии распределенных вычислений", 19 - 24 сентября 2005 года, Новороссийск. С.93-95.
  46. Юрий А. Климов. 2005. О поливариантном анализе времен связывания в специализаторе объектно-ориентированного языка. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет: технологии распределенных вычислений", 19 - 24 сентября 2005 года, Новороссийск. С.89-91.
  47. А.П. Немытых. 2005. Суперкомпилятор SCP4: общая структура. Монография 175 страниц, 2005 - текст (подготовлена к публикации)
  48. С.М. Абрамов, А.А. Московский, В.А. Роганов, Ю.В. Шевчук, Е.В. Шевчук, Н.Н. Парамонов, О.П. Чиж. 2005. Open TS: архитектура и реализация среды для динамического распараллеливания вычислений. Proc. Научный сервис в сети Интернет: технологии распределенных вычислений : Труды Всероссийской научной конференции, 19-24 сентября 2005 г. Новороссийск, Изд-во МГУ, М., с. 79-81.
  49. Sergey Abramov, Alexei Adamovich, Alexander Inyukhin, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk, Yuri Shevchuk, and Alexander Vodomerov. 2005. OpenTS: An Outline of Dynamic Parallelization Approach. Parallel Computing Technologies: 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings. Editors: Victor Malyshkin - Berlin etc. Springer, 2005. - Lecture Notes in Computer Science: Volume 3606, pp. 303-312.
  50. Sergei M. Abramov, Robert Glueck and Yuri A. Klimov. 2006. An Universal Resolving Algorithm for Inverse Computation in a Lazy Language. Perspectives of System Informatics (Proceedings of Andrei Ershov Sixth International Conference), A.P. Ershov Institute of Informatics Systems, Novosibirsk, 2006, pp.9-16.
  51. Andrei V. Klimov. 2006. Specification of Monogenetic Specializers as a Relation between Source and Residual Programs. Perspectives of System Informatics (Proceedings of Andrei Ershov Sixth International Conference), A.P. Ershov Institute of Informatics Systems, Novosibirsk, 2006, pp.141-147.
  52. Андрей В. Климов. 2006. Построение доказуемо корректного суперкомпилятора простого функционального языка. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет: технологии параллельного программирования", 18 - 23 сентября 2006 года, Новороссийск. 3 стр.
  53. Юрий А. Климов. 2006. Генератор остаточной программы и корректность специализатора объектно-ориентированного языка. Тезисы доклада на Всероссийской научной конференции "Научный сервис в сети Интернет: технологии параллельного программирования", 18 - 23 сентября 2006 года, Новороссийск. 3 стр.
  54. Vladimir Roganov, Alexander Moskovsky, Sergei Abramov. 2006. The Open TS parallel programming system. The Twelfth International Conference onParallel and Distributed Systems, Minneapolis, USA (ICPADS. July 12-15, 2006) (текст доклада в формате pdf)
  55. Sergei M. Abramov, Alexander Moskovsky, Vladimir Roganov, Elena Shevchuk. 2006. The Open TS dynamic parallelization system approach. PARA'06 WORKSHOP ON STATE-OF-THE-ART IN SCIENTIFIC AND PARALLEL COMPUTING Umea, Sweden June 18-21 2006 (доклад принят, текст доклада в формате pdf)

Замечание по wiki. Нумерация ссылок в окне редактирования Edit не имеет никакого значения! Wiki перенумеровывает сам. Для чистовой версии copy-paste будет делаться с html-страницы, изготовленной Wiki. Поэтому номера править совершенно не обязательно. Можно писать любое число, например, 0. -- AK 03.09.06

4.7.2. Список основных (не более 5) публикаций руководителя проекта в рецензируемых журналах за последние 3 года (независимо от их тематики)

  1. Sergei M. Abramov, Robert Glueck and Yuri A. Klimov, An Universal Resolving Algorithm for Inverse Computation in a Lazy Language. Perspectives of System Informatics (Proceedings of Andrei Ershov Sixth International Conference), A.P. Ershov Institute of Informatics Systems, Novosibirsk, 2006, pp.9-16.
    • Эта публикация не в журнале, но рецензируемая. Можно сослаться на "LNCS, 2006 (accepted for publication)", считая LNCS журналом. (AK 03.09.06)
Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: 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