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 条
  • [31] Denotational semantics for timed testing
    Diaz, LFL
    Escrig, DD
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 368 - 382
  • [32] A MODULAR APPROACH TO DENOTATIONAL SEMANTICS
    MOGGI, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 138 - 139
  • [33] Denotational semantics of hybrid automata
    Edalat, Abbas
    Pattinson, Dirk
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 3 - 21
  • [34] LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS
    DELAHAYE, JP
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 3 - 42
  • [35] Denotational Semantics for Symbolic Execution
    Voogd, Erik
    Klovstad, Asmund Aqissiaq Arild
    Johnsen, Einar Broch
    THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 370 - 387
  • [36] FROM OPERATIONAL TO DENOTATIONAL SEMANTICS
    SMITH, SF
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 54 - 76
  • [37] Denotational semantics of object specification
    Sernadas, A
    Sernadas, C
    Caleiro, C
    ACTA INFORMATICA, 1998, 35 (09) : 729 - 773
  • [38] A denotational semantics of defeasible logic
    Maher, MJ
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [39] Denotational semantics for thread algebra
    Vu, Thuy Duong
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 74 (02): : 94 - 111
  • [40] Towards a denotational semantics for TimeML
    Katz, Graham
    ANNOTATING, EXTRACTING AND REASONING ABOUT TIME AND EVENTS, 2007, 4795 : 88 - 106
12345