scientific article; zbMATH DE number 1088217

MaRDI QIDQ4364533zbMATH OpenFDO

Authors Tony Hoare

Publication date 17 November 1997

zbMATH Keywords

programming methods

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Retrospective and Prospective for Unifying Theories of Programming
• A practical theory of programming
• Theories of Programming Languages
• Laws of programming
• scientific article; zbMATH DE number 51768

Cited in

(14)

• Program composition via unification
• Bridging arrays and ADTs in recursive proofs
• A Theoretical Foundation for Programming Languages Aggregation
• Generic models of the laws of programming
• Processes and games
• scientific article; zbMATH DE number 3890767 (Why is no real title available?)
• scientific article; zbMATH DE number 2079992 (Why is no real title available?)
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• scientific article; zbMATH DE number 2087601 (Why is no real title available?)
• scientific article; zbMATH DE number 1897134 (Why is no real title available?)
• Retrospective and Prospective for Unifying Theories of Programming
• Integrated Formal Methods
• Toward a theory of program repair
• A practical theory of programming

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 Q4364533)