An algebraic approach to schemes of structured programs
From MaRDI portal
Publication:795496
zbMATH Open0542.68009MaRDI QIDQ795496FDOQ795496
Authors: Alexey L. Lastovetsky
Publication date: 1984
Published in: Programming and Computer Software (Search for Journal in Brave)
Recommendations
comparative schematologyfunctional properties of programsoperation-functional properties of structured nonrecursive programs
Cited In (24)
- Title not available (Why is that?)
- On a class of algebraic models of programs of practical interest
- A polynomial-time algorithm that recognizes the commutative equivalence of program schemata
- Title not available (Why is that?)
- Program schemes with constants
- Towards a calculus of algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Studies in the theory of algebraic models of programs with procedures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebra of algorithms and Kaluzhnin's graph-schemas
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness of a relational calculus for program schemes
- Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
- Title not available (Why is that?)
- Weak equivalence in a class of structured program schemes
- Formal aspects of structured programming with goto statements
- An algorithm deciding functional equivalence in a new class of program schemes
- Title not available (Why is that?)
This page was built for publication: An algebraic approach to schemes of structured programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q795496)