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 条
  • [21] A denotational semantics for deliberation dialogues
    McBurney, P
    Parsons, S
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 162 - 175
  • [22] DENOTATIONAL SEMANTICS FOR PROGRAM ANALYSIS
    CHAO, SJ
    BRYANT, BR
    SIGPLAN NOTICES, 1988, 23 (01): : 83 - 91
  • [23] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY
    DEBAKKER, JW
    ZUCKER, JI
    INFORMATION AND CONTROL, 1982, 54 (1-2): : 70 - 120
  • [24] 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 - +
  • [25] Denotational semantics of object specification
    Amílcar Sernadas
    Cristina Sernadas
    Carlos Caleiro
    Acta Informatica, 1998, 35 : 729 - 773
  • [26] DENOTATIONAL SEMANTICS OF QUERY LANGUAGES
    SUBIETA, K
    INFORMATION SYSTEMS, 1987, 12 (01) : 69 - 82
  • [27] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
  • [28] A modular approach to denotational semantics
    Power, J
    Rosolini, G
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 351 - 362
  • [29] ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS
    DEBAKKER, JW
    MEYER, JJC
    ZUCKER, JI
    THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 53 - 82
  • [30] Denotational semantics for timed testing
    Diaz, LFL
    Escrig, DD
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 368 - 382
12345