CaltechAUTHORS
  A Caltech Library Service

Weakest Preconditions for Progress

Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. California Institute of Technology . (Unpublished) http://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13

[img]
Preview
Postscript
See Usage Policy.

245Kb
[img]
Preview
PDF
See Usage Policy.

1033Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13

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.


Item Type:Report or Paper (Technical Report)
Group:Computer Science Technical Reports
Record Number:CaltechCSTR:1991.cs-tr-90-13
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.
ID Code:26734
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:25 Apr 2001
Last Modified:26 Dec 2012 14:03

Repository Staff Only: item control page