Programs are predicates

DOI10.1098/RSTA.1984.0071zbMATH Open0558.68004OpenAlexW1981255079MaRDI QIDQ3347251FDOQ3347251

Authors: Tony Hoare 

Publication date: 1984

Published in: Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.1984.0071

Recommendations

• Predicative programming Part II
• scientific article; zbMATH DE number 970745
• Programs and logics
• A practical theory of programming
• Predicative methodology

zbMATH Keywords

processprogrammingspecificationspredicate

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (5)

• Unifying theories of programming with monads
• An elementary and unified approach to program correctness
• Title not available (Why is that?)
• Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
• Title not available (Why is that?)

This page was built for publication: Programs are predicates

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