Program schemes with constants

DOI10.1007/S11086-005-0024-6zbMATH Open1103.68468OpenAlexW2016490883MaRDI QIDQ2432964FDOQ2432964

Dmitry Rusakov, R. I. Podlovchenko

Publication date: 26 October 2006

Published in: Programming and Computer Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11086-005-0024-6

Recommendations

• Synthesising programs with non-trivial constants
• scientific article; zbMATH DE number 3913705
• scientific article
• Program schemata with monotone operators
• Scheme inclusion verification algorithm in algebraic model of programs with constants
• An algebraic approach to schemes of structured programs
• Program derivation by fixed point computation
• Inclusion problem in algebraic models of programs with constants

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Equivalent transformations of program schemes for ``Entangling programs
• Title not available (Why is that?)
• Metalinear schemes with transfer of constants

Cited In (7)

• Finite constants: Characterizations of a new decidable set of constants
• Approximability of some program models by others
• Automaton semigroup models of programs
• On the Simplification and Equivalence Problems for Straight-Line Programs
• Title not available (Why is that?)
• Inclusion problem in algebraic models of programs with constants
• An algebraic approach to schemes of structured programs

This page was built for publication: Program schemes with constants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2432964)