Proceedings of ISP RAS


An Interactive Specializer Based on Partial Evaluation for a Java Subset

Adamovich I.A. (PSI, Pereslavl-Zalessky, Russia)
Klimov And.V. (KIAM, Moscow, Russia)

Abstract

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.

Keywords

program analysis, program transformation, interactive program specialization, partial evaluation, object-oriented language, integrated development environment

Edition

Proceedings of the Institute for System Programming, vol. 30, issue 4, 2018, pp. 29-44.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2018-30(4)-2

Full text of the paper in pdf Back to the contents of the volume