scientific article; zbMATH DE number 1088217

zbMATH Open0884.68011MaRDI QIDQ4364533FDOQ4364533

Authors: Tony Hoare 

Publication date: 17 November 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

programming methods

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (14)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Retrospective and Prospective for Unifying Theories of Programming
• A Theoretical Foundation for Programming Languages Aggregation
• Title not available (Why is that?)
• Integrated Formal Methods
• Bridging arrays and ADTs in recursive proofs
• A practical theory of programming
• Toward a theory of program repair
• Program composition via unification
• Title not available (Why is that?)
• Generic models of the laws of programming
• Processes and games
• Title not available (Why is that?)

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)