Higher-level supercompilation as a metasystem transition

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 comb...

Full description

Saved in:
Bibliographic Details
Published in:Programming and computer software 2012-09, Vol.38 (5), p.231-244
Main Authors: Klyuchnikov, I. G., Romanenko, S. A.
Format: Article
Language:English
Subjects:
Artificial Intelligence
Computer Science
Operating Systems
Software Engineering
Software Engineering/Programming and Operating Systems
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768812050027