Adapting program derivations using program conjunction

MaRDI QIDQ4250660zbMATH OpenFDO

Authors Lindsay Groves

Publication date 11 July 1999

zbMATH Keywords

program developmentprogram refinement

Mathematics Subject Classification ID

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

Recommendations

• Unifying program construction and modification
• A calculus of refinements for program derivations
• A calculus of program adaption and its applications
• A program refinement tool

Cited in

(4)

• A calculus of program adaption and its applications
• Assumption propagation through annotated programs
• Unifying program construction and modification
• Combining top-down and bottom-up techniques in program derivation

This page was built for publication: Adapting program derivations using program conjunction

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