Axiomatic approach to side effects and general jumps

DOI10.1007/BF00289468MaRDI QIDQ1225451zbMATH OpenFDO

Authors Tomasz Kowaltowski

Publication date 1977

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00289468

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cites work

• An axiomatic basis for computer programming
• Consistent and complementary formal theories of the semantics of programming languages
• scientific article; zbMATH DE number 3471564 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3351184 (Why is no real title available?)
• Parallel programming: An axiomatic approach
• Program proving: KJumps and functions

Cited in

(5)

• Lightweight Separation
• An observationally complete program logic for imperative higher-order functions
• Hoare logic for Java in Isabelle/HOL
• Hoare-style logic for unstructured programs
• A compositional natural semantics and Hoare logic for low-level languages

This page was built for publication: Axiomatic approach to side effects and general jumps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1225451)