DOMAINS FOR DENOTATIONAL SEMANTICS

被引：0
|
作者：
SCOTT, DS
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1982年 / 140卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：577 / 612
页数：36
相关论文
共 50 条
  • [41] DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES
    TENNENT, RD
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (08) : 437 - 453
  • [42] Disentangling Denotational Semantics Definitions
    Tirelo, Fabio
    Bigonha, Roberto S.
    Saraiva, Joao
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3592 - 3607
  • [43] ON DENOTATIONAL VERSUS PREDICATIVE SEMANTICS
    BROY, M
    LENGAUER, C
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 42 (01) : 1 - 29
  • [44] Denotational semantics for JS']JSD
    Yeung, WL
    [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 72 - 80
  • [45] DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM
    KOK, JN
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 237 - 249
  • [46] A DENOTATIONAL SEMANTICS FOR SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (02) : 10:1 - 10:23
  • [47] A Denotational Semantics for Dynamic Architectures
    Marmsoler, Diego
    [J]. 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, : 136 - 143
  • [48] A denotational semantics for equilibrium logic
    Aguado, Felicidad
    Cabalar, Pedro
    Pearce, David
    Perez, Gilberto
    Vidal, Concepcion
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 620 - 634
  • [49] Denotational semantics of ANSI C
    Papaspyrou, NS
    [J]. COMPUTER STANDARDS & INTERFACES, 2001, 23 (03) : 169 - 185
  • [50] Denotational semantics of hybrid automata
    Edalat, A
    Pattinson, D
    [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 231 - 245
12345