Axiomatic approach to side effects and general jumps
From MaRDI portal
Publication:1225451
DOI10.1007/BF00289468zbMath0325.68010MaRDI QIDQ1225451
Publication date: 1977
Published in: Acta Informatica (Search for Journal in Brave)
Related Items
A compositional natural semantics and Hoare logic for low-level languages, An observationally complete program logic for imperative higher-order functions, Hoare logic for Java in Isabelle/HOL, Lightweight Separation
Cites Work