The weakest prespecification

C. A.R. Hoare; Jifeng He

doi:10.1016/0020-0190(87)90106-2

The weakest prespecification

C. A.R. Hoare^*
, Jifeng He

^*Corresponding author for this work

University of Oxford

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

58 Scopus citations

Original language	English
Pages (from-to)	127-132
Number of pages	6
Journal	Information Processing Letters
Volume	24
Issue number	2
DOIs	https://doi.org/10.1016/0020-0190(87)90106-2
State	Published - 30 Jan 1987
Externally published	Yes

Keywords

Weakest precondition
guarded command
weakest prespecification

Access to Document

10.1016/0020-0190(87)90106-2

Cite this

@article{8a2c3b4284e54942acf574823030003d,

title = "The weakest prespecification",

keywords = "Weakest precondition, guarded command, weakest prespecification",

author = "Hoare, \{C. A.R.\} and Jifeng He",

year = "1987",

month = jan,

day = "30",

doi = "10.1016/0020-0190(87)90106-2",

language = "英语",

volume = "24",

pages = "127--132",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - The weakest prespecification

AU - Hoare, C. A.R.

AU - He, Jifeng

PY - 1987/1/30

Y1 - 1987/1/30

KW - Weakest precondition

KW - guarded command

KW - weakest prespecification

UR - https://www.scopus.com/pages/publications/0023108726

U2 - 10.1016/0020-0190(87)90106-2

DO - 10.1016/0020-0190(87)90106-2

M3 - 文章

AN - SCOPUS:0023108726

SN - 0020-0190

VL - 24

SP - 127

EP - 132

JO - Information Processing Letters

JF - Information Processing Letters

IS - 2

ER -

The weakest prespecification

Keywords

Access to Document

Other files and links

Cite this