Axiomatic approach to side effects and general jumps

DOI10.1007/BF00289468zbMath0325.68010MaRDI QIDQ1225451

Tomasz Kowaltowski

Publication date: 1977

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Program proving: KJumps and functions
• Consistent and complementary formal theories of the semantics of programming languages
• Parallel programming: An axiomatic approach
• An axiomatic basis for computer programming