Higher-level supercompilation as a metasystem transition
Ilya G. Klyuchnikov, Sergei Anatolievich Romanenko · Programming and Computer Software · 2012
Issues related to metasystem transitions in the context of supercompilation are discussed. Manifestations of the law of branching growth of the penultimate level in the case of higher-level supercompilation are considered. Based on this law, some approaches to the construction of metasystems by combining supercompilers are proposed. In particular, the usefulness of multi-result supercompilation for proving the equivalence of expressions and for two-level supercompilation is shown.