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 条
  • [1] AN INTRODUCTION TO OBJ-3
    GOGUEN, J
    KIRCHNER, C
    KIRCHNER, H
    MEGRELIS, A
    MESEGUER, J
    WINKLER, T
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 258 - 263
  • [2] Constructive action semantics in OBJ
    Mosses, Peter D.
    [J]. ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, 2006, 4060 : 281 - 295
  • [3] Operational semantics for Verilog
    Dimitrov, J
    [J]. APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 161 - 168
  • [4] Operational semantics for DyLPs
    Banti, F
    Alferes, JJ
    Brogi, A
    [J]. PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 43 - 54
  • [5] ALGEBRAIC OPERATIONAL SEMANTICS
    GUREVICH, Y
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 1 - 2
  • [6] Enhanced operational semantics
    Degano, P
    Priami, C
    [J]. ACM COMPUTING SURVEYS, 1996, 28 (02) : 352 - 354
  • [7] An operational semantics for Scheme
    Matthews, Jacob
    Findler, Robert Bruce
    [J]. JOURNAL OF FUNCTIONAL PROGRAMMING, 2008, 18 (47-86) : 47 - 86
  • [8] An operational semantics for stateflow
    Hamon, G
    Rushby, J
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 229 - 243
  • [9] An operational semantics for ZCCS
    Galloway, AJ
    Stoddart, WJ
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 272 - 282
  • [10] An operational semantics for skeletons
    Aldinucci, M
    Danelutto, M
    [J]. PARALLEL COMPUTING: SOFTWARE TECHNOLOGY, ALGORITHMS, ARCHITECTURES AND APPLICATIONS, 2004, 13 : 63 - 70
12345