Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison

Details Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison

2012-04-24

arxiv.org/abs/1204.5436v1

Computer Science

Software Engineering

12 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-520593