Interfaces for refining recursion and procedures

DOI10.1007/S001650070010MaRDI QIDQ5944219zbMATH OpenOpenAlexFDO

Authors Mark Staples

Publication date 27 September 2001

Published in Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

Isabelle/ZFrefinement calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Procedure compilation in the refinement calculus
• A calculus of refinements for program derivations
• General refinement. I: Interfaces, determinism and special refinement
• An algebraic treatment of procedure refinement to support mechanical verification
• scientific article; zbMATH DE number 1670754

Cited in

(1)

• scientific article; zbMATH DE number 4039266 (Why is no real title available?)

Describes a project that uses

Uses Software

• Isabelle/ZF
• Isabelle

This page was built for publication: Interfaces for refining recursion and procedures

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