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

被引:1
|
作者
Chaudhari, Dipak L. [1 ]
Damani, Om [1 ]
机构
[1] Indian Inst Technol, Mumbai, Maharashtra, India
关键词
Calculational style; Program derivation;
D O I
10.1007/978-3-319-27436-2_15
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
The traditional stepwise refinement based program derivation methodologies are primarily top-down. Strictly following the top-down program derivation approach may require backtracking resulting in rework. Moreover, the top down approach does not directly help in suggesting the next course of action in case of a failed derivation attempt. In this work we seamlessly incorporate a bottom up assumption propagation technique into a primarily top down derivation methodology. We present new tactics for back-propagating the assumptions made during the top-down phase. These tactics help in reducing the guesswork during the derivations. We have implemented these tactics in a program derivation system. With the help of simple examples, we show how this approach is useful for avoiding backtracking thereby simplifying the derivations.
引用
收藏
页码:244 / 258
页数:15
相关论文
共 50 条