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 条
  • [41] Disentangling Denotational Semantics Definitions
    Tirelo, Fabio
    Bigonha, Roberto S.
    Saraiva, Joao
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3592 - 3607
  • [42] DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM
    KOK, JN
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 237 - 249
  • [43] Denotational semantics for JS']JSD
    Yeung, WL
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 72 - 80
  • [44] A Denotational Semantics for Dynamic Architectures
    Marmsoler, Diego
    2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, : 136 - 143
  • [45] A DENOTATIONAL SEMANTICS FOR SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (02) : 10:1 - 10:23
  • [46] Denotational semantics of hybrid automata
    Edalat, A
    Pattinson, D
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 231 - 245
  • [47] Denotational semantics of ANSI C
    Papaspyrou, NS
    COMPUTER STANDARDS & INTERFACES, 2001, 23 (03) : 169 - 185
  • [48] A denotational semantics for equilibrium logic
    Aguado, Felicidad
    Cabalar, Pedro
    Pearce, David
    Perez, Gilberto
    Vidal, Concepcion
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 620 - 634
  • [49] TRANSFORMATIONS OF DENOTATIONAL SEMANTICS IN SEMANTICS DIRECTED COMPILER GENERATION
    ROYER, V
    SIGPLAN NOTICES, 1986, 21 (07): : 68 - 73
  • [50] Unifying denotational semantics with operational semantics for web services
    Zhu, Huibiao
    He, Jifeng
    Li, Jing
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2007, 4882 : 225 - 239
12345