Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_postscript.png)
|
Postscript
- Accepted Version
See Usage Policy. 251kB | |
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png)
|
PDF
- Accepted Version
See Usage Policy. 1MB |
Use this Persistent URL to link to this item: https://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 | ||||
| Other Numbering System: |
| ||||
| Record Number: | CaltechCSTR:1991.cs-tr-90-13 | ||||
| Persistent URL: | https://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: | 03 Oct 2019 03:17 |
Repository Staff Only: item control page
