Weakest preconditions for progress

J.J. Lukkien; J.L.A. Snepscheut, van de

doi:10.1007/BF01212336

Weakest preconditions for progress

J.J. Lukkien, J.L.A. Snepscheut, van de

Algorithms, Geometry and Applications

Research output: Contribution to journal › Article › Academic › peer-review

4 Citations (Scopus)

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.

Original language	English
Pages (from-to)	195-236
Journal	Formal Aspects of Computing
Volume	4
Issue number	2
DOIs	https://doi.org/10.1007/BF01212336
Publication status	Published - 1992

Access to Document

10.1007/BF01212336

Cite this

@article{6a2c746b7be4487e9cf4e28dace3d5b9,

title = "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.",

author = "J.J. Lukkien and {Snepscheut, van de}, J.L.A.",

year = "1992",

doi = "10.1007/BF01212336",

language = "English",

volume = "4",

pages = "195--236",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer",

number = "2",

}

TY - JOUR

T1 - Weakest preconditions for progress

AU - Lukkien, J.J.

AU - Snepscheut, van de, J.L.A.

PY - 1992

Y1 - 1992

N2 - 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.

AB - 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.

U2 - 10.1007/BF01212336

DO - 10.1007/BF01212336

M3 - Article

SN - 0934-5043

VL - 4

SP - 195

EP - 236

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 2

ER -

Weakest preconditions for progress

Abstract

Access to Document

Fingerprint

Cite this