|
Эта публикация цитируется в 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. Разрабатываются сценарии человеко-машинного диалога с подсистемой специализации, интерактивные средства для составления задания на специализацию и управление процессом специализации. Приводится пример успешного применения разработанного специализатора. Остаточная программа работает в несколько раз быстрее чем исходная.
Ключевые слова:
анализ программ, преобразование программ, интерактивная специализация программ, частичные вычисления, объектно-ориентированный язык, среда разработки программ.
Образец цитирования:
I. A. Adamovich, And. V. Klimov, “An interactive specializer based on partial evaluation for a Java subset”, Труды ИСП РАН, 30:4 (2018), 29–44
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp345 https://www.mathnet.ru/rus/tisp/v30/i4/p29
|
Статистика просмотров: |
Страница аннотации: | 170 | PDF полного текста: | 71 | Список литературы: | 25 |
|