Calculus of equivalences of abstract programs

MaRDI QIDQ1822233zbMATH OpenFDO

Authors S. S. Gajsaryan, A. L. Lastovestskij

Publication date 1985

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

zbMATH Keywords

algebraic model of von Neuman programming languagesProgram equivalence calculi

Mathematics Subject Classification ID

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

Review text

Program equivalence calculi are constructed for an algebraic model of von Neuman programming languages. Tools are proposed for solving equations in these calculi.

Cited in

(11)

• The problem of equivalence in commutative s-models for programs
• Computing ML equality kinds using abstract interpretation
• An algebraic approach to semantics of programming languages
• The abstract variable-binding calculus
• Abstract Semantic Differencing for Numerical Programs
• Optimal Abstraction on Real-Valued Programs
• An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• scientific article; zbMATH DE number 6315451 (Why is no real title available?)
• A theoretical basis for stepwise refinement and the programming calculus
• Case-free programs: An abstraction of definite horn programs

This page was built for publication: Calculus of equivalences of abstract programs

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