General predicate transformer and the semantics of a programming language with go to statement

Jifeng He

doi:10.1007/BF00264294

General predicate transformer and the semantics of a programming language with go to statement

Jifeng He^*

^*Corresponding author for this work

Software Engineering Institute

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

1 Scopus citations

Abstract

Dijkstra's predicate transformer for specifying the semantics of guarded commands set and proving the total correcness of a program is generalized to a programming language with the go to statement. The concept of general predicate transformer and its properties are introduced. We explore the approach of proving the correctness - preserving property of some common program transformations that are used in the compiling process.

Original language	English
Pages (from-to)	35-57
Number of pages	23
Journal	Acta Informatica
Volume	20
Issue number	1
DOIs	https://doi.org/10.1007/BF00264294
State	Published - Oct 1983

Access to Document

10.1007/BF00264294

Cite this

@article{72bd126f1bd74928a55306d3636dbdcb,

title = "General predicate transformer and the semantics of a programming language with go to statement",

abstract = "Dijkstra's predicate transformer for specifying the semantics of guarded commands set and proving the total correcness of a program is generalized to a programming language with the go to statement. The concept of general predicate transformer and its properties are introduced. We explore the approach of proving the correctness - preserving property of some common program transformations that are used in the compiling process.",

author = "Jifeng He",

year = "1983",

month = oct,

doi = "10.1007/BF00264294",

language = "英语",

volume = "20",

pages = "35--57",

journal = "Acta Informatica",

issn = "0001-5903",

publisher = "Springer New York",

number = "1",

}

TY - JOUR

T1 - General predicate transformer and the semantics of a programming language with go to statement

AU - He, Jifeng

PY - 1983/10

Y1 - 1983/10

N2 - Dijkstra's predicate transformer for specifying the semantics of guarded commands set and proving the total correcness of a program is generalized to a programming language with the go to statement. The concept of general predicate transformer and its properties are introduced. We explore the approach of proving the correctness - preserving property of some common program transformations that are used in the compiling process.

AB - Dijkstra's predicate transformer for specifying the semantics of guarded commands set and proving the total correcness of a program is generalized to a programming language with the go to statement. The concept of general predicate transformer and its properties are introduced. We explore the approach of proving the correctness - preserving property of some common program transformations that are used in the compiling process.

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

U2 - 10.1007/BF00264294

DO - 10.1007/BF00264294

M3 - 文章

AN - SCOPUS:0020830981

SN - 0001-5903

VL - 20

SP - 35

EP - 57

JO - Acta Informatica

JF - Acta Informatica

IS - 1

ER -

General predicate transformer and the semantics of a programming language with go to statement

Abstract

Access to Document

Other files and links

Fingerprint

Cite this