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 条
  • [31] LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS
    DELAHAYE, JP
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 3 - 42
  • [32] Denotational Semantics for Symbolic Execution
    Voogd, Erik
    Klovstad, Asmund Aqissiaq Arild
    Johnsen, Einar Broch
    THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 370 - 387
  • [33] Denotational semantics of object specification
    Sernadas, A
    Sernadas, C
    Caleiro, C
    ACTA INFORMATICA, 1998, 35 (09) : 729 - 773
  • [34] FROM OPERATIONAL TO DENOTATIONAL SEMANTICS
    SMITH, SF
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 54 - 76
  • [35] ON DENOTATIONAL VERSUS PREDICATIVE SEMANTICS
    BROY, M
    LENGAUER, C
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 42 (01) : 1 - 29
  • [36] DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM
    KOK, JN
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 213 : 237 - 249
  • [37] Denotational semantics for JS']JSD
    Yeung, WL
    ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 72 - 80
  • [38] Disentangling Denotational Semantics Definitions
    Tirelo, Fabio
    Bigonha, Roberto S.
    Saraiva, Joao
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3592 - 3607
  • [39] DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES
    TENNENT, RD
    COMMUNICATIONS OF THE ACM, 1976, 19 (08) : 437 - 453
  • [40] Denotational semantics for thread algebra
    Vu, Thuy Duong
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 74 (02): : 94 - 111
12345