Сергей Романенко » Publication
Share It:
Published
1988-01-01
Published on SciPeople2010-03-14 00:12:47
JournalPartial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop
A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure
S.A.Romanenko. A Compiler Generator Produced by a Self-Applicable Specializer Can Have a Surprisingly Natural and Understandable Structure. In D.Bjorner, A.P.Ershov and N.D.Jones, editors, Partial Evaluation and Mixed Computation, pages 445-463, North-Holland, 1988.
Abstract
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.
http://pat.keldysh.ru/~roman/doc/1988-Romanenko--A_Compiler_Generator_Produced_by_a_Self-Applicable_Specializer.pdf
Show statistics 
