DENOTATIONAL SEMANTICS FOR OCCAM

被引：0
|
作者：
ROSCOE, AW
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 197卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：306 / 329
页数：24
相关论文
共 50 条
  • [21] Denotational semantics for timed testing
    Diaz, LFL
    Escrig, DD
    [J]. TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 368 - 382
  • [22] ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS
    DEBAKKER, JW
    MEYER, JJC
    ZUCKER, JI
    [J]. THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 53 - 82
  • [23] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
  • [24] A modular approach to denotational semantics
    Power, J
    Rosolini, G
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 351 - 362
  • [25] AN OPERATIONAL SEMANTICS FOR OCCAM
    CAMILLERI, J
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1989, 18 (05) : 365 - 400
  • [26] Denotational semantics of hybrid automata
    Edalat, Abbas
    Pattinson, Dirk
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 3 - 21
  • [27] A MODULAR APPROACH TO DENOTATIONAL SEMANTICS
    MOGGI, E
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 138 - 139
  • [28] LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS
    DELAHAYE, JP
    [J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 3 - 42
  • [29] A denotational semantics of defeasible logic
    Maher, MJ
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [30] Denotational semantics for thread algebra
    Vu, Thuy Duong
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 74 (02): : 94 - 111
12345