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

DOI10.1134/S0361768814030050zbMath1323.68224OpenAlexW2138494656MaRDI QIDQ2017779

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)

Related Items

Studies in the theory of algebraic models of programs with procedures, On the construction of complete systems of equivalent transformations of program schemes

Cites Work

• Unnamed Item
• Unnamed Item