On a class of algebraic models of programs of practical interest

DOI10.1134/S0361768813030067MaRDI QIDQ395268zbMATHFDO

Authors R. I. Podlovchenko

Publication date 29 January 2014

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Studies in the theory of algebraic models of programs with procedures
• Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
• On the polynomial complexity of the equivalence checking problem in algebraic models of programs
• An algebraic approach to schemes of structured programs
• Equivalent transformations in the model of programs with commuting and monotone operators

Cites work

• A polynomial-time algorithm that recognizes the commutative equivalence of program schemata
• Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation
• Technique of traces in solving the equivalence problem in algebraic program models

Cited in

(16)

• Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation
• scientific article; zbMATH DE number 5827855 (Why is no real title available?)
• Algebras of stepping motor programs
• Efficient algorithms for checking the equivalence of programs in interrupt handling models
• Technique of traces in solving the equivalence problem in algebraic program models
• Approximability of some program models by others
• On the polynomial complexity of the equivalence checking problem in algebraic models of programs
• Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models
• On an equivalence checking technique for algebraic models of programs
• A case of insolubility of the problem of equivalence of programs
• scientific article; zbMATH DE number 3936483 (Why is no real title available?)
• An algebraic approach to schemes of structured programs
• Algebra of algorithms and dynamic parallel execution of sequential programs
• scientific article; zbMATH DE number 3930322 (Why is no real title available?)
• Studies in the theory of algebraic models of programs with procedures
• Inclusion problem in algebraic models of programs with constants

This page was built for publication: On a class of algebraic models of programs of practical interest

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