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)

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

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)