On an equivalence checking technique for algebraic models of programs

DOI10.1134/S0361768811060065zbMath1251.68105MaRDI QIDQ1758688

R. I. Podlovchenko

Publication date: 16 November 2012

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

zbMATH Keywords

polynomial complexityequivalence problemdecision algorithmprogram schema

Mathematics Subject Classification ID

Related Items (2)

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

• A polynomial-time algorithm that recognizes the commutative equivalence of program schemata

This page was built for publication: On an equivalence checking technique for algebraic models of programs