Programs are predicates

DOI10.1098/RSTA.1984.0071MaRDI QIDQ3347251zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

predicateprocessprogrammingspecifications

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

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

Cited in

(7)

• Unifying theories of programming with monads
• scientific article; zbMATH DE number 1191243 (Why is no real title available?)
• scientific article; zbMATH DE number 814830 (Why is no real title available?)
• scientific article; zbMATH DE number 871158 (Why is no real title available?)
• scientific article; zbMATH DE number 970745 (Why is no real title available?)
• An elementary and unified approach to program correctness
• Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving

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)