Generic models of the laws of programming

DOI10.1007/978-3-642-39698-4_13MaRDI QIDQ2842638zbMATH OpenOpenAlexFDO

Authors Tony Hoare

Publication date 16 August 2013

Published in Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39698-4_13

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Laws of programming
• On Mathematical Laws of Software
• scientific article; zbMATH DE number 3938525
• The laws of programming unify process calculi
• scientific article; zbMATH DE number 1088217

Cites work

• scientific article; zbMATH DE number 3947615 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• Algebra unifies operational calculi
• An axiomatic basis for computer programming
• CONCUR 2004 - Concurrency Theory
• Concurrent Kleene algebra and its foundations
• Graphical models of separation logic
• Laws of programming
• On locality and the exchange law for concurrent processes
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• Refinement Calculus
• The laws of programming unify process calculi
• Unifying Semantics for Concurrent Programming
• Unifying theories for logic programming

Cited in

(4)

• The laws of Occam programming
• On Mathematical Laws of Software
• A calculus and logic of bunched resources and processes
• The gamma model and its discipline of programming

This page was built for publication: Generic models of the laws of programming

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