On denotational versus predicative semantics

Manfred Broy; Christian Lengauer

doi:10.1016/0022-0000(91)90037-6

On denotational versus predicative semantics

Manfred Broy
, Christian Lengauer

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

University of Edinburgh

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

2 Scopus citations

Abstract

Two definitions of a language of communicating programs are offered: one by denotational semantics, and one by predicative specifications. The equivalence of both definitions is established. Both partial and total correctness semantics are considered. Nondeterminism and its interaction with recursion is studied. The main contribution is a comparative study of the descriptive and the prescriptive viewpoint of program semantics.

Original language	English
Pages (from-to)	1-29
Number of pages	29
Journal	Journal of Computer and System Sciences
Volume	42
Issue number	1
DOIs	https://doi.org/10.1016/0022-0000(91)90037-6
State	Published - Feb 1991

Access to Document

10.1016/0022-0000(91)90037-6

Cite this

@article{9df6ff34234c4e20b1e099d49217161d,

title = "On denotational versus predicative semantics",

abstract = "Two definitions of a language of communicating programs are offered: one by denotational semantics, and one by predicative specifications. The equivalence of both definitions is established. Both partial and total correctness semantics are considered. Nondeterminism and its interaction with recursion is studied. The main contribution is a comparative study of the descriptive and the prescriptive viewpoint of program semantics.",

author = "Manfred Broy and Christian Lengauer",

year = "1991",

month = feb,

doi = "10.1016/0022-0000(91)90037-6",

language = "English",

volume = "42",

pages = "1--29",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "Academic Press Inc.",

number = "1",

}

TY - JOUR

T1 - On denotational versus predicative semantics

AU - Broy, Manfred

AU - Lengauer, Christian

PY - 1991/2

Y1 - 1991/2

N2 - Two definitions of a language of communicating programs are offered: one by denotational semantics, and one by predicative specifications. The equivalence of both definitions is established. Both partial and total correctness semantics are considered. Nondeterminism and its interaction with recursion is studied. The main contribution is a comparative study of the descriptive and the prescriptive viewpoint of program semantics.

AB - Two definitions of a language of communicating programs are offered: one by denotational semantics, and one by predicative specifications. The equivalence of both definitions is established. Both partial and total correctness semantics are considered. Nondeterminism and its interaction with recursion is studied. The main contribution is a comparative study of the descriptive and the prescriptive viewpoint of program semantics.

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

U2 - 10.1016/0022-0000(91)90037-6

DO - 10.1016/0022-0000(91)90037-6

M3 - Article

AN - SCOPUS:0026108407

SN - 0022-0000

VL - 42

SP - 1

EP - 29

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

IS - 1

ER -

On denotational versus predicative semantics

Abstract

Access to Document

Other files and links

Fingerprint

Cite this