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)

Cited in

(11)

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

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)