Calculus of equivalences of abstract programs

zbMath0617.68018MaRDI QIDQ1822233

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)

Related Items (1)

An algebraic approach to semantics of programming languages

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