Assumption propagation through annotated programs

DOI10.1007/S00165-016-0395-XMaRDI QIDQ2628303zbMATH OpenOpenAlexFDO

Authors Dipak L. Chaudhari, Om P. Damani

Publication date 1 June 2017

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

Full work available at URL https://doi.org/10.1007/s00165-016-0395-x

zbMATH Keywords

correct-by-constructionprogram derivationannotated programsassumption propagation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Combining top-down and bottom-up techniques in program derivation
• A calculus of refinements for program derivations
• Publication:3034803
• Proof methods of declarative properties of definite programs
• Integrated Formal Methods

Cites work

• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 48269 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 1303991 (Why is no real title available?)
• scientific article; zbMATH DE number 194642 (Why is no real title available?)
• scientific article; zbMATH DE number 3995020 (Why is no real title available?)
• scientific article; zbMATH DE number 2090305 (Why is no real title available?)
• A program refinement tool
• An axiomatic basis for computer programming
• Combining top-down and bottom-up techniques in program derivation
• Exercises in Quantifier Manipulation
• Guarded commands, nondeterminacy and formal derivation of programs
• Refinement Calculus
• The derivation of systolic computations
• Why3 -- where programs meet provers

Cited in

(1)

• Combining top-down and bottom-up techniques in program derivation

Describes a project that uses

Uses Software

• WhyML
• z3
• cvc3
• Why3
• SPASS
• Cocktail

This page was built for publication: Assumption propagation through annotated programs

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