Program derivation using the refinement calculator

DOI10.1007/BFB0105399MaRDI QIDQ6567706zbMATH OpenFDO

Authors Michael J. Butler, T. Långbacka

Publication date 5 July 2024

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formalization of mathematics in connection with theorem provers (68V20)

Recommendations

• scientific article; zbMATH DE number 1104377
• A program refinement tool
• scientific article; zbMATH DE number 177257
• scientific article; zbMATH DE number 1104390
• A calculus of refinements for program derivations

Cites work

• A calculus of refinements for program derivations
• A theoretical basis for stepwise refinement and the programming calculus
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
• scientific article; zbMATH DE number 2185699 (Why is no real title available?)
• scientific article; zbMATH DE number 3705887 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• Mechanizing some advanced refinement concepts
• Refinement concepts formalised in higher order logic

This page was built for publication: Program derivation using the refinement calculator

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