Труды института системного программирования РАН
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Труды института системного программирования РАН, 2018, том 30, выпуск 4, страницы 29–44
DOI: https://doi.org/10.15514/ISPRAS-2018-30(4)-2
(Mi tisp345)
 

Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

An interactive specializer based on partial evaluation for a Java subset
[Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений]

I. A. Adamovicha, And. V. Klimovb

a Ailamazyan Program Systems Institute of Russian Academy of Sciences
b Keldysh Institute of Applied Mathematics of Russian Academy of Sciences
Список литературы:
Аннотация: Специализация - это оптимизация программ на основе использования наперёд заданной информации о значении части переменных. Методы специализации программ развиваются с 1970-х годов (смешанные вычисления, частичные вычисления, суперкомпиляция). Однако удивительно, что после трёх десятилетий разработанные специализаторы до сих пор не достигли того уровня, когда они станут пригодны для широкого практического применения. Возникает вопрос: в чём же причина? Наша гипотеза состоит в том, что задача специализации требуют гораздо большего участия человека в управлении процессом специализации, анализе результатов, проведении компьютерных экспериментов, чем в случае обычной оптимизации программы в компиляторах. Требуется погружение специализаторов в привычные для программистов интегрированные среды разработки, включая создание соответствующих диалоговых средств. В данной статье описываются результаты разработки и реализации методов интерактивной специализации на основе частичных вычислений для подмножества языка Java. Реализация выполнена в рамках популярной среды разработки (IDE) Eclipse. Разрабатываются сценарии человеко-машинного диалога с подсистемой специализации, интерактивные средства для составления задания на специализацию и управление процессом специализации. Приводится пример успешного применения разработанного специализатора. Остаточная программа работает в несколько раз быстрее чем исходная.
Ключевые слова: анализ программ, преобразование программ, интерактивная специализация программ, частичные вычисления, объектно-ориентированный язык, среда разработки программ.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-37-00454
16-01-00813
[1] Supported by RFBR research project No. 18-37-00454 (contribution: development of interactive methods of partial evaluation, design of the architecture and implementation of the specializer, analysis of related works). [2] Supported by RFBR research project No. 16-01-00813 (contribution: problem statement, design of methods based on the existing approaches, supervision, analysis of related works).
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: I. A. Adamovich, And. V. Klimov, “An interactive specializer based on partial evaluation for a Java subset”, Труды ИСП РАН, 30:4 (2018), 29–44
Цитирование в формате AMSBIB
\RBibitem{AdaKli18}
\by I.~A.~Adamovich, And.~V.~Klimov
\paper An interactive specializer based on partial evaluation for a Java subset
\jour Труды ИСП РАН
\yr 2018
\vol 30
\issue 4
\pages 29--44
\mathnet{http://mi.mathnet.ru/tisp345}
\crossref{https://doi.org/10.15514/ISPRAS-2018-30(4)-2}
\elib{https://elibrary.ru/item.asp?id=35544578}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp345
  • https://www.mathnet.ru/rus/tisp/v30/i4/p29
  • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:170
    PDF полного текста:71
    Список литературы:25
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024