Сергей Романенко » Публикация

Поделиться публикацией:
Опубликовать в блог:
Опубликовано 2010-06-09 Опубликовано на SciPeople2010-06-09 14:55:03 ЖурналSecond International Workshop on Metacomputation in Russia (Proceedings of the second International Workshop on Metacomputation in Russia. Pereslavl-Zalessky, Russia, July 1-5, 2010)

Towards Higher-Level Supercompilation
Ilya Klyuchnikov, Sergei Romanenko / Сергей Романенко
Аннотация 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.


Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален