Retrospective and Prospective for Unifying Theories of Programming

DOI10.1007/11768173_1MaRDI QIDQ5307471zbMATH OpenOpenAlexFDO

Authors Eric C. R. Hehner

Publication date 14 September 2007

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11768173_1

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 1088217
• Object-Orientation in the UTP
• UTP and Sustainability
• scientific article; zbMATH DE number 1759984
• Mechanising a Unifying Theory

Cited in

(8)

• Unifying theories of programming in Isabelle
• An algebraic approach to computations with progress
• scientific article; zbMATH DE number 1088217 (Why is no real title available?)
• scientific article; zbMATH DE number 1759984 (Why is no real title available?)
• Integrated Formal Methods
• An elementary and unified approach to program correctness
• Bunch theory: axioms, logic, applications and model
• Generalizations of Rice's theorem, applicable to executable and non-executable formalisms

This page was built for publication: Retrospective and Prospective for Unifying Theories of Programming

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