ON DENOTATIONAL VERSUS PREDICATIVE SEMANTICS

被引：2

作者：

BROY, M ^{[1
]}

LENGAUER, C ^{[1
]}

机构：

[1] UNIV EDINBURGH,DEPT COMP SCI,EDINBURGH EH9 3JZ,MIDLOTHIAN,SCOTLAND

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1991年 / 42卷 / 01期

关键词：

D O I：

10.1016/0022-0000(91)90037-6

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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. © 1991.

引用

页码：1 / 29

页数：29

共 9 条

[1]

BROCK JD, 1981, LECT NOTES COMPUT SC, V107, P252

[2]

BROY M, 1983, IFIP TC2 WORKING C F, V2, P125

[3]

BROY M, 1985, NATO ASI F, V14

[4] PREDICATIVE PROGRAMMING .1. [J].

HEHNER, ECR .

COMMUNICATIONS OF THE ACM, 1984, 27 (02) :134-143

[5]

HOARE CAR, 1985, SERIES COMPUTER SCI, P141

[6]

LENGAUER C, 1985, COMMUN ACM, V27, P537

[7] POWER DOMAINS [J].

SMYTH, MB .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 16 (01) :23-36

[8]

Stoy J. E., 1977, DENOTATIONAL SEMANTI

[9]

VANGASTEREN AJM, 1982, AWG19EWD815 EINDH U

← 1 →