Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models

DOI10.1134/S0361768814030050MaRDI QIDQ2017779zbMATHOpenAlexFDO

Authors R. I. Podlovchenko

Publication date 23 March 2015

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

Full work available at URL https://doi.org/10.1134/s0361768814030050

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On a class of algebraic models of programs of practical interest
• Studies in the theory of algebraic models of programs with procedures
• Equivalent transformations in the model of programs with commuting and monotone operators
• An algebraic approach to schemes of structured programs
• Program schemes with constants

Cited in

(6)

• Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation
• On a class of algebraic models of programs of practical interest
• Equivalent transformations in the model of programs with commuting and monotone operators
• On the construction of complete systems of equivalent transformations of program schemes
• 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: Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models

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