Published January 1, 1991
| Accepted Version
Report
Open
Weakest Preconditions for Progress
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.
Attached Files
Accepted Version - 90-13.pdf
Accepted Version - postscript.ps
Files
90-13.pdf
Files
(1.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:76a54b226623aea7ccfb8ecad7f246c3
|
1.1 MB | Preview Download |
|
md5:e3f21ec1afc95ff45a92745fcfa1e161
|
251.5 kB | Download |
Additional details
- Eprint ID
- 26734
- Resolver ID
- CaltechCSTR:1991.cs-tr-90-13
- Created
-
2001-04-25Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports
- Other Numbering System Name
- Computer Science Technical Reports
- Other Numbering System Identifier
- 90-13