Program derivation using the refinement calculator

DOI10.1007/BFB0105399zbMATH Open1543.68415MaRDI QIDQ6567706FDOQ6567706

Authors: Michael J. Butler, T. Långbacka 

Publication date: 5 July 2024

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A theoretical basis for stepwise refinement and the programming calculus
• Mechanizing some advanced refinement concepts
• Refinement concepts formalised in higher order logic
• A calculus of refinements for program derivations
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
• Title not available (Why is that?)

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)