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 system; propositional semantics

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

An algebraic approach to semantics of programming languages