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

DOI10.1007/978-3-319-27436-2_15MaRDI QIDQ5743597zbMATH OpenOpenAlexFDO

Authors Dipak L. Chaudhari, Om P. Damani

Publication date 5 February 2016

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-27436-2_15

zbMATH Keywords

program derivationcalculational style

Mathematics Subject Classification ID

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

Recommendations

• Assumption propagation through annotated programs
• Systematic program development
• scientific article; zbMATH DE number 1926610
• scientific article; zbMATH DE number 1302060
• scientific article; zbMATH DE number 1303991

Cites work

• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (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
• Cocktail: A tool for deriving correct programs
• 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

(2)

• The anatomy of vampire. Implementing bottom-up procedures with code trees
• Assumption propagation through annotated programs

Describes a project that uses

Uses Software

• WhyML
• Alt-Ergo
• z3
• cvc3
• Why3
• SPASS
• Cocktail

This page was built for publication: Combining top-down and bottom-up techniques in program derivation

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