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 条
  • [31] Enhanced operational semantics
    Degano, P
    Priami, C
    ACM COMPUTING SURVEYS, 1996, 28 (02) : 352 - 354
  • [32] An operational semantics for stateflow
    Hamon, G
    Rushby, J
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 229 - 243
  • [33] An operational semantics for Scheme
    Matthews, Jacob
    Findler, Robert Bruce
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2008, 18 (47-86) : 47 - 86
  • [34] Operational semantics with semicommutations
    Maarand, Hendrik
    Uustalu, Tarmo
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2021, 121
  • [35] Operational semantics of proto
    Viroli, Mirko
    Beal, Jacob
    Usbeck, Kyle
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (06) : 633 - 656
  • [36] An operational semantics for Stateflow
    Grégoire Hamon
    John Rushby
    International Journal on Software Tools for Technology Transfer, 2007, 9 (5-6) : 447 - 456
  • [37] AN OPERATIONAL SEMANTICS FOR CSP
    PLOTKIN, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 148 : 250 - 252
  • [38] Fair Operational Semantics
    Lee, Dongjae
    Cho, Minki
    Kim, Jinwoo
    Moon, Soonwon
    Song, Youngju
    Hur, Chung-Kil
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (PLDI):
  • [39] An operational semantics of Starlog
    Lu, LJ
    Cleary, JG
    PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, 1999, 1702 : 294 - 310
  • [40] Handcrafted Inversions Made Operational on Operational Semantics
    Monin, Jean-Francois
    Shi, Xiaomu
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 338 - 353
12345