Semantical analysis of specification logic. II

DOI10.1006/inco.1993.1060zbMath0797.68105OpenAlexW3022825331MaRDI QIDQ1317433

Robert D. Tennent, Peter W. O'Hearn

Publication date: 17 April 1994

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1993.1060

zbMATH Keywords

partial-correctness programssemantics of non- interferencespecification logic

Mathematics Subject Classification ID

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

Related Items (3)

A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Monoidal Indeterminates and Categories of Possible Worlds

This page was built for publication: Semantical analysis of specification logic. II