scientific article; zbMATH DE number 3938525

MaRDI QIDQ3709853zbMATH OpenFDO

Authors Tony Hoare

Publication date 1985

zbMATH Keywords

construction of computer programsmathematics of programmingspecifications

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 3982493
• Metamathematical fundamental concepts of computer programming
• Proving and programming
• Laws of programming
• Computer programs and mathematical proofs

Cited in

(19)

• Lagois connections -- a counterpart to Galois connections
• On the relationship between foundations of programming and mathematics
• The joy of formula manipulation
• Parallel beta reduction is not elementary recursive
• Multilevel structured program designs and correctness proving
• Object-oriented programming in mathematics
• Generic models of the laws of programming
• Metamathematical fundamental concepts of computer programming
• scientific article; zbMATH DE number 3911699 (Why is no real title available?)
• scientific article; zbMATH DE number 3982493 (Why is no real title available?)
• scientific article; zbMATH DE number 4045138 (Why is no real title available?)
• scientific article; zbMATH DE number 48697 (Why is no real title available?)
• scientific article; zbMATH DE number 53194 (Why is no real title available?)
• scientific article; zbMATH DE number 622677 (Why is no real title available?)
• scientific article; zbMATH DE number 1397837 (Why is no real title available?)
• If you're not writing a program, don't use a programming language
• Three debates about computing
• Proving and programming
• On Mathematical Laws of Software

This page was built for publication:

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