Studies in the theory of algebraic models of programs with procedures

DOI10.1134/S0361768816010060zbMath1339.68046MaRDI QIDQ300376

R. I. Podlovchenko

Publication date: 27 June 2016

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)

Cites Work

• A hierarchy of program models
• On an equivalence checking technique for algebraic models of programs
• Recursive programs and the hierarchy of their models
• Analysis of a two-parameter algebraic model of programs by methods developed for one-parameter models

This page was built for publication: Studies in the theory of algebraic models of programs with procedures