ALGEBRAIC OPERATIONAL SEMANTICS AND OCCAM

被引：0
|
作者：
GUREVICH, Y [1 ]
MOSS, LS [1 ]
机构：
[1] IBM CORP, THOMAS J WATSON RES CTR, DEPT MATH SCI, YORKTOWN HTS, NY 10598 USA
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 440卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：176 / 192
页数：17
相关论文
共 50 条
  • [21] An algebraic semantics for MOF
    Boronat, Artur
    Meseguer, Jose
    FORMAL ASPECTS OF COMPUTING, 2010, 22 (3-4) : 269 - 296
  • [22] AN ALGEBRAIC SEMANTICS OF SUBOBJECTS
    ROSSIE, JG
    FRIEDMAN, DP
    SIGPLAN NOTICES, 1995, 30 (10): : 187 - 199
  • [23] An algebraic semantics for MOF
    Boronat, Artur
    Meseguer, Jose
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 377 - +
  • [24] ALGEBRAIC SEMANTICS FOR NARRATIVE
    KAHN, E
    LINGUISTICS, 1974, (141) : 27 - 33
  • [25] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 139 - +
  • [26] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (04) : 341 - 360
  • [27] Operational semantics for DyLPs
    Banti, F
    Alferes, JJ
    Brogi, A
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 43 - 54
  • [28] Operational semantics for Verilog
    Dimitrov, J
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 161 - 168
  • [29] An operational semantics for skeletons
    Aldinucci, M
    Danelutto, M
    PARALLEL COMPUTING: SOFTWARE TECHNOLOGY, ALGORITHMS, ARCHITECTURES AND APPLICATIONS, 2004, 13 : 63 - 70
  • [30] An operational semantics for ZCCS
    Galloway, AJ
    Stoddart, WJ
    FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 272 - 282
12345