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
相关论文
共 50 条
  • [31] Denotational semantics of hybrid automata
    Edalat, Abbas
    Pattinson, Dirk
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 3 - 21
  • [32] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 139 - +
  • [33] LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS
    DELAHAYE, JP
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 3 - 42
  • [34] Denotational Semantics for Symbolic Execution
    Voogd, Erik
    Klovstad, Asmund Aqissiaq Arild
    Johnsen, Einar Broch
    THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 370 - 387
  • [35] Denotational semantics of object specification
    Sernadas, A
    Sernadas, C
    Caleiro, C
    ACTA INFORMATICA, 1998, 35 (09) : 729 - 773
  • [36] FROM OPERATIONAL TO DENOTATIONAL SEMANTICS
    SMITH, SF
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 54 - 76
  • [37] DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM
    KOK, JN
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 237 - 249
  • [38] Denotational semantics for JS']JSD
    Yeung, WL
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 72 - 80
  • [39] Disentangling Denotational Semantics Definitions
    Tirelo, Fabio
    Bigonha, Roberto S.
    Saraiva, Joao
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3592 - 3607
  • [40] DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES
    TENNENT, RD
    COMMUNICATIONS OF THE ACM, 1976, 19 (08) : 437 - 453
12345