Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison

Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison

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.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2012-04
1. Verfasser: Braude, Eric
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:2331-8422