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

zbMath0959.68507MaRDI QIDQ1594177

Vladimir A. Zakharov, R. I. Podlovchenko

Publication date: 28 January 2001

Published in: Doklady Mathematics (Search for Journal in Brave)

zbMATH Keywords

polynomial algorithm\(c\)-equivalence

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) General topics in the theory of software (68N01)

Related Items (4)

On a class of algebraic models of programs of practical interest ⋮ Program equivalence checking by two-tape automata ⋮ On an equivalence checking technique for algebraic models of programs ⋮ Using algebraic models of programs for detecting metamorphic malwares

This page was built for publication: A polynomial-time algorithm that recognizes the commutative equivalence of program schemata