The problem of equivalence in commutative s-models for programs

MaRDI QIDQ1111006zbMATH OpenFDO

Authors R. I. Podlovchenko

Publication date 1987

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

zbMATH Keywords

equivalenceprogram schemesprogram model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
• On an equivalence checking technique for algebraic models of programs
• The equivalence problem and correctness formulas for a simple class of programs
• scientific article; zbMATH DE number 3883587
• Halting and equivalence of program schemes in models of arbitrary theories
• scientific article; zbMATH DE number 3846863
• Equivalences among logics of programs
• Equivalent transformations in the model of programs with commuting and monotone operators
• scientific article; zbMATH DE number 3970089
• Calculus of equivalences of abstract programs

Cited in

(4)

• Investigating s-model programs for the purpose of reducing them to canonical form
• Approximability of some program models by others
• An abstract equivalence notion for object models
• An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

This page was built for publication: The problem of equivalence in commutative s-models for programs

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