. Multiple program specialization can stage a computation into several computation phases. This paper presents an effective solution for multiple program specialization by generalizing conventional off-line partial evaluation and integrating the "cogen approach" with a multi-level binding-time analysis. This novel "multi-cogen approach" solves two fundamental problems of self-applicable partial evaluation: the generation-time problem and the generator-size problem. The multilevel program generator has been implemented for a higher-order subset of Scheme. Experimental results show a remarkable reduction of generation time and generator size compared to previous attempts of multiple self-application. 1 Introduction Stages of computation arise naturally in many programs, depending on the availability of data or the frequency with which the input changes. Code for later stages can be optimized based on values available in earlier stages. Partial evaluation has received much attention beca...

This paper gives a gentle introduction to Turchin's supercompilation and its applications in metacomputation with an emphasis on recent developments. First, a complete supercompiler, including positive driving and generalization, is defined for a functional language and illustrated with examples. Then a taxonomy of related transformers is given and compared to the supercompiler. Finally, we put supercompilation into the larger perspective of metacomputation and consider three metacomputation tasks: specialization, composition, and inversion.

Abstract. It is well-known that data abstraction badly coexists with pattern matching. Pattern matching is applicable in the domain with “transparent ” structure of symbolical data while the traditional data abstraction supposes hiding data from the user. In this paper, it is shown how it is possible to provide data abstraction at reception of all completeness of convenience of it by simple means within the framework of the system of symbolic manipulations based on pattern matching. However, the problem is not put to hide abstract data from the programmer completely. In our case data abstraction is based on possibility of obtaining of values of functions being inversed to functions-constructors that in turn is based on possibility of dynamic computation of patterns. Used way of pattern matching is based on multilevel computations. The examples of data abstraction given in this paper are based on the subsystem of algebraic computations that has been built in the system of symbolic manipulations.

Abstract not found