Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions

DOI10.1007/978-3-642-29709-0_19zbMath1336.68037OpenAlexW19145979MaRDI QIDQ3457980

Ilya Klyuchnikov, S. A. Romanenko

Publication date: 7 December 2015

Published in: Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29709-0_19

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Proving properties of functional programs by equality saturation ⋮ Inductive Prover Based on Equality Saturation for a Lazy Functional Language ⋮ Unnamed Item ⋮ Higher-level supercompilation as a metasystem transition

This page was built for publication: Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions