Program schemes with constants
From MaRDI portal
Publication:2432964
Recommendations
- Synthesising programs with non-trivial constants
- scientific article; zbMATH DE number 3913705
- scientific article; zbMATH DE number 46687
- 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
Cites work
Cited in
(11)- scientific article; zbMATH DE number 46687 (Why is no real title available?)
- Automaton semigroup models of programs
- Approximability of some program models by others
- Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
- Halting and equivalence of program schemes in models of arbitrary theories
- An algebraic approach to schemes of structured programs
- Finite constants: Characterizations of a new decidable set of constants
- On the Simplification and Equivalence Problems for Straight-Line Programs
- scientific article; zbMATH DE number 3930322 (Why is no real title available?)
- Inclusion problem in algebraic models of programs with constants
- Scheme inclusion verification algorithm in algebraic model of programs with constants
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)