An Interactive Specializer Based on Partial Evaluation for a Java Subset

• 發表在: Труды Института системного программирования РАН
• Main Authors: I. A. Adamovich, And. V. Klimov
• 格式: Article
• 語言: 英语
• 出版: Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
• 主題: анализ программ; преобразование программ; интерактивная специализация программ; частичные вычисления; объектно-ориентированный язык; среда разработки программ
• 在線閱讀: https://ispranproceedings.elpub.ru/jour/article/view/553
• ISSN: 2079-8156; 2220-6426

Specialization is a program optimization approach that implies the use of a priori information about values of some variables. Specialization methods are being developed since 1970s (mixed computations, partial evaluation, supercompilation). However, it is surprising, that even after three decades, these promising methods have not been put into the wide programming practice. One may wonder: What is the reason? Our hypothesis is that the task of specialization requires much greater human involvement into the specialization process, the analysis of its results and conducting computer experiments than in the case of common program optimization in compilers. Hence, specializers should be embedded into integrated development environments (IDE) familiar to programmers and appropriate interactive tools should be developed. In this paper we provide a work-in-progress report on results of development of an interactive specializer based on partial evaluation for a subset of the Java programming language. The specializer has been implemented within the popular Eclipse IDE. Scenarios of the human-machine dialogue with the specializer and interactive tools to compose the specialization task and to control the process of specialization are under development. An example of application of the current version of the specializer is shown. The residual program runs several times faster than the source one.