A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure

This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been produced automatically by specializing the specializer with respect to itself. It has been found that the structure of the compilers produced can be improved by making use of such devices as introducing different representations for the values of K- and U-parameters, splitting the subject program into K-and U-program, and automatically raising the arity of functions in the residual program.

• Type: Conference
• Year: 1988
• Where: Partial Evaluation and Mixed Computation
• Authors: Sergei A. Romanenko
• Keywords: Compiler Generator, Mixed Computation, Non-partial Evaluation, Partial Evaluation, PARTIAL EVALUATION AND MIXED COMPUTATION 1988, Self-applicability, Specializer, Unmixed Computation