Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison
arXiv:1204.5436v1
Originality Synthesis-oriented
AI Analysis
This is an incremental comparison of existing methods for procedure construction, with no clear problem statement for a specific audience.
The paper compares weakest preconditions and cumulative subgoal fulfillment for constructing procedures, using an example from Cohen and Monin to demonstrate the CSF process.
We contrast the use of weakest preconditions for the correct construction of procedures with the cumulative subgoal fulfillment (CSF) approach. An example of Cohen and Monin is used for this purpose. The CSF construction process is demonstrated.