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 条
  • [41] Towards a denotational semantics for TimeML
    Katz, Graham
    ANNOTATING, EXTRACTING AND REASONING ABOUT TIME AND EVENTS, 2007, 4795 : 88 - 106
  • [42] A denotational semantics of defeasible logic
    Maher, MJ
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [43] A Denotational Semantics for Dynamic Architectures
    Marmsoler, Diego
    2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, : 136 - 143
  • [44] A DENOTATIONAL SEMANTICS FOR SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (02) : 10:1 - 10:23
  • [45] Denotational semantics of hybrid automata
    Edalat, A
    Pattinson, D
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 231 - 245
  • [46] 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
  • [47] Denotational semantics of ANSI C
    Papaspyrou, NS
    COMPUTER STANDARDS & INTERFACES, 2001, 23 (03) : 169 - 185
  • [48] 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
  • [49] Deriving operational semantics from denotational semantics for Verilog
    Zhu, HB
    Bowen, JP
    He, JF
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 177 - 184
  • [50] TRANSFORMATIONS OF DENOTATIONAL SEMANTICS IN SEMANTICS DIRECTED COMPILER GENERATION
    ROYER, V
    SIGPLAN NOTICES, 1986, 21 (07): : 68 - 73
12345