Parallel programming: An axiomatic approach

DOI10.1016/0096-0551(75)90014-4MaRDI QIDQ4136530zbMATH OpenOpenAlexFDO

Authors Tony Hoare

Publication date 1975

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-0551(75)90014-4

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45)

Cited in

(8)

• Methods and means of parallel processing of information
• Axiomatic approach to side effects and general jumps
• Fifty years of Hoare's logic
• Current methods for proving program correctness
• Convolution as a Unifying Concept
• A predicate transformer for choreographies. Computing preconditions in choreographic programming
• Semantics of algorithmic languages
• A semantics for concurrent separation logic

This page was built for publication: Parallel programming: An axiomatic approach

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