Combining Top-Down and Bottom-Up Techniques in Program Derivation

DOI10.1007/978-3-319-27436-2_15zbMath1362.68042OpenAlexW2396953794MaRDI QIDQ5743597

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)

Related Items (1)

Assumption propagation through annotated programs

Uses Software

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

Cites Work

• The derivation of systolic computations
• A program refinement tool
• Exercises in Quantifier Manipulation
• Guarded commands, nondeterminacy and formal derivation of programs
• Refinement Calculus
• Why3 — Where Programs Meet Provers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Combining Top-Down and Bottom-Up Techniques in Program Derivation