[isabelle] New in the AFP: The Imperative Refinement Framework
Another AFP entry for today: The Imperative Refinement Framework by Peter Lammich: "a tool that supports a stepwise refinement based approach to imperative programsâ. It uses the Monadic Refinement Framework as a frontend for the specification of the abstract programs, and Imperative/HOL as a backend to generate executable imperative programs"
More info here: https://www.isa-afp.org/entries/Refine_Imperative_HOL.shtml
This archive was generated by a fusion of
Pipermail (Mailman edition) and