Higher-level supercompilation as a metasystem transition
type: Item
instance of: scholarly article
title: Higher-level supercompilation as a metasystem transition
zbMATH Open document ID: 1253.68088
DOI: 10.1134/S0361768812050027
author: I. G. Klyuchnikov
author: S. A. Romanenko
published in: Programming and Computer Software
publication date: 2012-11-16T00:00:00Z
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 6107920
zbMATH Keywords: metasystem transitions
zbMATH Keywords: supercompilation
zbMATH Keywords: branching growth of the penultimate level
describes a project that uses: Refal
MaRDI profile type: Publication
cites work: The concept of a supercompiler
cites work: A positive supercompiler
cites work: Q4511266
cites work: Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions
cites work: Verification as a parameterized testing (experiments with the SCP4 supercompiler)
cites work: Positive supercompilation for a higher order call-by-value language
cites work: Equality saturation
description: scientific article; zbMATH DE number 6107920