ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS

被引：8
|
作者：
DEBAKKER, JW
MEYER, JJC
ZUCKER, JI
机构：
[1] FREE UNIV AMSTERDAM,DEPT MATH & COMP SCI,1081 HV AMSTERDAM,NETHERLANDS
[2] BAR ILAN UNIV,DEPT MATH & COMP SCI,RAMAT GAN,ISRAEL
来源：
THEORETICAL COMPUTER SCIENCE | 1983年 / 26卷 / 1-2期
关键词：
D O I：
10.1016/0304-3975(83)90079-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：53 / 82
页数：30
相关论文
共 50 条
  • [21] Denotational semantics for timed testing
    Diaz, LFL
    Escrig, DD
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 368 - 382
  • [22] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (04) : 341 - 360
  • [23] Denotational semantics of object specification
    Amílcar Sernadas
    Cristina Sernadas
    Carlos Caleiro
    Acta Informatica, 1998, 35 : 729 - 773
  • [24] DENOTATIONAL SEMANTICS FOR PROGRAM ANALYSIS
    CHAO, SJ
    BRYANT, BR
    SIGPLAN NOTICES, 1988, 23 (01): : 83 - 91
  • [25] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY
    DEBAKKER, JW
    ZUCKER, JI
    INFORMATION AND CONTROL, 1982, 54 (1-2): : 70 - 120
  • [26] A denotational semantics for deliberation dialogues
    McBurney, P
    Parsons, S
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 162 - 175
  • [27] A Denotational Semantics for SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 (336) : 223 - 239
  • [28] A MODULAR APPROACH TO DENOTATIONAL SEMANTICS
    MOGGI, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 138 - 139
  • [29] Denotational semantics of hybrid automata
    Edalat, Abbas
    Pattinson, Dirk
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 3 - 21
  • [30] 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 - +
12345