На основе технологии суперкомпиляции автор реализовал преобразователь функциональных программ SCP4. SCP4 реализован на функциональном языке программирования Рефал-5. Этот же язык является и входным языком для SCP4. В работе мы рассматриваем общую структуру суперкомпилятора SCP4 и показываем несколько примеров преобразований посредством SCP4.
Nemytykh Andrei Petrovich
The Supercompiler SCP4: General Structure
The author constructed a transformer SCP4 of functional programs. The transformer uses the technology known as Turchin's supercompilation. SCP4 was implemented in a functional language Refal-5. The input language for SCP4 is also Refal-5. In the book we consider the general structure of the supercompiler and give a number of examples of transformations.
Na osnove tekhnologii superkompilyatsii avtor realizoval preobrazovatel funktsionalnykh programm SCP4. SCP4 realizovan na funktsionalnom yazyke programmirovaniya Refal-5. Etot zhe yazyk yavlyaetsya i vkhodnym yazykom dlya SCP4. V rabote my rassmatrivaem obshchuyu strukturu superkompilyatora SCP4 i pokazyvaem neskolko primerov preobrazovaniy posredstvom SCP4. Nemytykh Andrei Petrovich The Supercompiler SCP4: General Structure The author constructed a transformer SCP4 of functional programs. The transformer uses the technology known as Turchin's supercompilation. SCP4 was implemented in a functional language Refal-5. The input language for SCP4 is also Refal-5. In the book we consider the general structure of the supercompiler and give a number of examples of transformations.
Based on the technology of supercompilation, the author implemented a Converter functional programs SCP4. SCP4 is implemented in the functional programming language Refal-5. This language is the input language of SCP4 for. In this paper we analyze the General structure of SCP4 and show some examples of transformed by SCP4.
Nemytykh, Andrei Petrovich
The Supercompiler SCP4: General Structure
The author constructed a transformer SCP4 of functional programs. The transformer uses the technology known as Turchin''s supercompilation. SCP4 was implemented in a functional language Refal-5. The input language for SCP4 is also Refal-5. In the book we consider the general structure of the supercompiler and give a number of examples of transformations.