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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

4 Citaten (Scopus)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	195-236
Tijdschrift	Formal Aspects of Computing
Volume	4
Nummer van het tijdschrift	2
DOI's	https://doi.org/10.1007/BF01212336
Status	Gepubliceerd - 1992

Toegang tot document

10.1007/BF01212336

Citeer dit

@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 = "Association for Computing Machinery, Inc.",

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

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit