The problem of equivalence in commutative s-models for programs

zbMATH Open0657.68014MaRDI QIDQ1111006FDOQ1111006

Authors: R. I. Podlovchenko 

Publication date: 1987

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

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

zbMATH Keywords

equivalenceprogram schemesprogram model

Mathematics Subject Classification ID

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

Cited In (4)

• 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
• Investigating s-model programs for the purpose of reducing them to canonical form

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)