Найдено научных статей и публикаций: 1, для научной тематики: Supercompiler supercompilation program_specialization metacomputation higher-order functional_programming metasystem_transition
1.
Ilya Klyuchnikov, Sergei Romanenko
- Second International Workshop on Metacomputation in Russia (Proceedings of the second International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 1-5, 2010) , 2010
We show that the power of supercompilation can be increased by constructing a hierarchy of supercompilers, in which a lowerlevel supercompiler is used by a higher-level one for proving improvement lemmas. The lemmas thus obtained are used to transform expressions labeling nodes in process trees, in ...
We show that the power of supercompilation can be increased by constructing a hierarchy of supercompilers, in which a lowerlevel supercompiler is used by a higher-level one for proving improvement lemmas. The lemmas thus obtained are used to transform expressions labeling nodes in process trees, in order to avoid premature generalizations. Such kind of supercompilation, based on a combination of several metalevels, is called higher-level supercompilation (to differentiate it from higher-order supercompilation related to transforming higherorder functions). Higher-level supercompilation may be considered as an application of a more general principle of metasystem transition.