DOMAINS FOR DENOTATIONAL SEMANTICS

被引：0
|
作者：
SCOTT, DS
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1982年 / 140卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：577 / 612
页数：36
相关论文
共 50 条
  • [21] A denotational semantics for deliberation dialogues
    McBurney, P
    Parsons, S
    [J]. ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 162 - 175
  • [22] A Denotational Semantics for SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 (336) : 223 - 239
  • [23] DENOTATIONAL SEMANTICS FOR PROGRAM ANALYSIS
    CHAO, SJ
    BRYANT, BR
    [J]. SIGPLAN NOTICES, 1988, 23 (01): : 83 - 91
  • [24] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY
    DEBAKKER, JW
    ZUCKER, JI
    [J]. INFORMATION AND CONTROL, 1982, 54 (1-2): : 70 - 120
  • [25] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    [J]. ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 139 - +
  • [26] Denotational semantics of object specification
    Amílcar Sernadas
    Cristina Sernadas
    Carlos Caleiro
    [J]. Acta Informatica, 1998, 35 : 729 - 773
  • [27] DENOTATIONAL SEMANTICS OF QUERY LANGUAGES
    SUBIETA, K
    [J]. INFORMATION SYSTEMS, 1987, 12 (01) : 69 - 82
  • [28] ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS
    DEBAKKER, JW
    MEYER, JJC
    ZUCKER, JI
    [J]. THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 53 - 82
  • [29] A modular approach to denotational semantics
    Power, J
    Rosolini, G
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 351 - 362
  • [30] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
12345