Weakest Preconditions for Progress

Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. Technical Report. California Institute of Technology. [CaltechCSTR:1991.cs-tr-90-13]

Full text available as:

Postscript - Requires a viewer, such as GhostView

Abstract

Predicate transformers that map the postcondition and all intermediate conditions of a command to a precondition are introduced. They can be used to specify certain progress properties of sequential programs.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	80
Deposited By:	Caltech Library System
Deposited On:	25 April 2001
Record Number:	CaltechCSTR:1991.cs-tr-90-13
Official Persistent URL:	http://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13
Usage Policy:	You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.

Archive Staff Only: edit this record