OPERATIONAL SEMANTICS OF OBJ-3

被引：0
|
作者：
KIRCHNER, C
KIRCHNER, H
MESEGUER, J
机构：
[1] CTR RECH & INFORMAT NANCY,F-54506 VANDOEUVRE NANCY,FRANCE
[2] SRI INT,COMP SCI LAB,MENLO PK,CA 94025
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 317卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：287 / 301
页数：15
相关论文
共 50 条
  • [41] Operational semantics of Framed Tempura
    Yang, Xiaoxiao
    Duan, Zhenhua
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 78 (01): : 22 - 51
  • [42] The origins of structural operational semantics
    Plotkin, GD
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 60-1 : 3 - 15
  • [43] AN OPERATIONAL SEMANTICS FOR TIMED CSP
    SCHNEIDER, S
    INFORMATION AND COMPUTATION, 1995, 116 (02) : 193 - 213
  • [44] AN OPERATIONAL SEMANTICS FOR CONCURRENT TTCN
    WALTER, T
    PLATTNER, B
    PROTOCOL TEST SYSTEMS, V, 1993, 11 : 131 - 143
  • [45] Proof styles in operational semantics
    Ray, S
    Moore, JS
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 67 - 81
  • [46] An Operational Semantics for Java']JavaScript
    Maffeis, Sergio
    Mitchell, John C.
    Taly, Ankur
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5356 : 307 - +
  • [47] A Dynamic Operational Semantics for JVML
    Belblidia, Nadia
    Debbabi, Mourad
    JOURNAL OF OBJECT TECHNOLOGY, 2007, 6 (03): : 71 - 100
  • [48] Mechanized operational semantics of WSL
    Zhang, XY
    Munro, M
    Harman, M
    Hu, L
    SCAM 2002: SECOND IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS MANIPULATION, PROCEEDINGS, 2002, : 73 - 82
  • [49] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
  • [50] ALGEBRAIC OPERATIONAL SEMANTICS AND OCCAM
    GUREVICH, Y
    MOSS, LS
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 176 - 192
12345