An algebraic approach to schemes of structured programs

MaRDI QIDQ795496zbMATH OpenFDO

Authors Alexey L. Lastovetsky

Publication date 1984

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

zbMATH Keywords

comparative schematologyfunctional properties of programsoperation-functional properties of structured nonrecursive programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Program schemes with constants
• scientific article; zbMATH DE number 3936467
• On a class of algebraic models of programs of practical interest
• scientific article; zbMATH DE number 3930322
• scientific article; zbMATH DE number 46687

Cited in

(24)

• scientific article; zbMATH DE number 3995937 (Why is no real title available?)
• scientific article; zbMATH DE number 3938532 (Why is no real title available?)
• scientific article; zbMATH DE number 4078767 (Why is no real title available?)
• On a class of algebraic models of programs of practical interest
• scientific article; zbMATH DE number 1390330 (Why is no real title available?)
• scientific article; zbMATH DE number 46687 (Why is no real title available?)
• A polynomial-time algorithm that recognizes the commutative equivalence of program schemata
• An algorithm deciding functional equivalence in a new class of program schemes
• scientific article; zbMATH DE number 3900130 (Why is no real title available?)
• Completeness of a relational calculus for program schemes
• Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
• scientific article; zbMATH DE number 2038694 (Why is no real title available?)
• scientific article; zbMATH DE number 3872646 (Why is no real title available?)
• scientific article; zbMATH DE number 3911681 (Why is no real title available?)
• Algebra of algorithms and Kaluzhnin's graph-schemas
• scientific article; zbMATH DE number 3963179 (Why is no real title available?)
• scientific article; zbMATH DE number 2063222 (Why is no real title available?)
• Towards a calculus of algorithms
• Weak equivalence in a class of structured program schemes
• Formal aspects of structured programming with goto statements
• Program schemes with constants
• scientific article; zbMATH DE number 4168654 (Why is no real title available?)
• scientific article; zbMATH DE number 3930322 (Why is no real title available?)
• Studies in the theory of algebraic models of programs with procedures

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)