Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Материал конференции: "Научный сервис в сети Интернет: труды XXIV Всероссийской научной конференции (19-22 сентября 2022 г., онлайн)"
Авторы: Адамович И.А., Климов Ю.А.
Специализация интерпретаторов на объектно-ориентированных языках может быть эффективной
Аннотация:
Барьеры на пути специализации реальных программ, написанных в объектно-ориентированной парадигме, часто могут быть преодолены при помощи современных методов метавычислений. Один из барьеров — необходимость разрешения полиморфизма на этапе анализа программы, до ее исполнения. Эта проблема успешно решается для ряда случаев в специализаторе JaSpe, что показано в данной статье. Работа посвящена компиляции программ с использованием метода специализации, без использования компилятора. Мы применили специализатор JaSpe, основанный на методе частичных вычислений, к двум интерпретаторам языка арифметических выражений, написанным на Java. Интерпретаторы были реализованы методом рекурсивного спуска и с использованием шаблона «посетитель». В результате успешной специализации данных интерпретаторов по программе вычисления квадратного корня на языке арифметических выражений были получены скомпилированные версии программы на языке Java. При этом скорость полученных версий программы по сравнению с исходной увеличилась в 12-22 раза.
Ключевые слова:
интерпретаторы, компиляторы, частичные вычисления, специализация, метавычисления
Язык публикации: русский,  страниц: 22 (с. 3-24)
Полный текст на русском языке:
Экспорт ссылки на публикацию в формате:   RIS    BibTeX
Сведения об авторах:
  • Адамович Игорь Алексеевич,  orcid.org/0000-0001-9728-3024Институт программных систем им. А.К. Айламазяна РАН
  • Климов Юрий Андреевич,  orcid.org/0000-0001-5081-1547ИПМ им. М.В. Келдыша РАН