Program derivation using the refinement calculator
From MaRDI portal
Publication:6567706
DOI10.1007/BFB0105399zbMATH Open1543.68415MaRDI QIDQ6567706FDOQ6567706
Authors: Michael J. Butler, T. Långbacka 
Publication date: 5 July 2024
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)
