Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions (2011)
| Venue: | PERSPECTIVES OF SYSTEMS INFORMATICS: 8TH INTERNATIONAL ANDREI ERSHOV MEMORIAL CONFERENCE, PSI 2011 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Klyuchnikov11multi-resultsupercompilation,
author = {Ilya G. Klyuchnikov and Sergei A. Romanenko},
title = {Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions},
booktitle = {PERSPECTIVES OF SYSTEMS INFORMATICS: 8TH INTERNATIONAL ANDREI ERSHOV MEMORIAL CONFERENCE, PSI 2011},
year = {2011},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The paper deals with some aspects of metasystem transitions in the context of supercompilation. We consider the manifestations of the law of branching growth of the penultimate level in the case of higher-level supercompilation and argue that this law provides some useful hints regarding the ways of constructing metasystems by combining supercompilers. In particular we show the usefulness of multi-result supercompilation for proving the equivalence of expressions and in two-level supercompilation.
