Domains and Denotational Semantics: History, Accomplishments and Open Problems

被引：0
|
作者：
Fiore, M.
Jung, A.
Moggi, E.
O'Hearn, P.
机构：
来源：
Bulletin of the European Association for Theoretical Computer Science | / 59期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES
    TENNENT, RD
    COMMUNICATIONS OF THE ACM, 1976, 19 (08) : 437 - 453
  • [42] Disentangling Denotational Semantics Definitions
    Tirelo, Fabio
    Bigonha, Roberto S.
    Saraiva, Joao
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3592 - 3607
  • [43] DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM
    KOK, JN
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 237 - 249
  • [44] ON DENOTATIONAL VERSUS PREDICATIVE SEMANTICS
    BROY, M
    LENGAUER, C
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 42 (01) : 1 - 29
  • [45] Denotational semantics for JS']JSD
    Yeung, WL
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 72 - 80
  • [46] A Denotational Semantics for Dynamic Architectures
    Marmsoler, Diego
    2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), 2019, : 136 - 143
  • [47] A DENOTATIONAL SEMANTICS FOR SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (02) : 10:1 - 10:23
  • [48] Denotational semantics of hybrid automata
    Edalat, A
    Pattinson, D
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006, 3921 : 231 - 245
  • [49] Denotational semantics of ANSI C
    Papaspyrou, NS
    COMPUTER STANDARDS & INTERFACES, 2001, 23 (03) : 169 - 185
  • [50] 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
12345