Technique of traces in solving the equivalence problem in algebraic program models

DOI10.1007/S10559-009-9139-8MaRDI QIDQ844347zbMATH OpenOpenAlexFDO

Authors R. I. Podlovchenko

Publication date 19 January 2010

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-009-9139-8

zbMATH Keywords

equivalence checkingalgebraic model of a programtechnique of traces

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Recommendations

• On an equivalence checking technique for algebraic models of programs
• On a class of algebraic models of programs of practical interest
• On the polynomial complexity of the equivalence checking problem in algebraic models of programs
• A case of insolubility of the problem of equivalence of programs
• Studies in the theory of algebraic models of programs with procedures

Cites work

• scientific article; zbMATH DE number 5827855 (Why is no real title available?)
• scientific article; zbMATH DE number 3140027 (Why is no real title available?)
• A canonization algorithm for pairs of program schemes with commuting operators
• A hierarchy of program models
• Semigroup program models

Cited in

(7)

• On a class of algebraic models of programs of practical interest
• Tracks of relations and equivalences-based reasoning
• On the polynomial complexity of the equivalence checking problem in algebraic models of programs
• Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation
• On an equivalence checking technique for algebraic models of programs
• Program equivalence checking by two-tape automata
• A case of insolubility of the problem of equivalence of programs

This page was built for publication: Technique of traces in solving the equivalence problem in algebraic program models

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