A calculus of propositional properties of programs

zbMath0737.68059MaRDI QIDQ1183798

S. S. Gajsaryan, Alexey L. Lastovetsky

Publication date: 28 June 1992

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

zbMATH Keywords

multisort algebraic systempropositional semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

An algebraic approach to semantics of programming languages

This page was built for publication: A calculus of propositional properties of programs