An operational semantics in UTP for a language of reactive designs

被引：0
|
作者：
Woodcock, Jim [1 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
来源：
UNIFYING THEORIES OF PROGRAMMING | 2006年 / 4010卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：84 / 84
页数：1
相关论文
共 50 条
  • [31] AN OPERATIONAL SEMANTICS FOR A LANGUAGE WITH EARLY COMPLETION DATA-STRUCTURES
    DENNIS, JB
    LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 260 - 267
  • [32] Visualization Tool for Structural Operational Semantics of Simple Imperative Language
    Tsimbolynets, Vitalii
    Perhac, Jan
    IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2023, 19 (01): : 66 - 74
  • [33] Abstract Machine for Operational Semantics of Domain-Specific Language
    Steingartner, William
    Baranik, Robert
    Novitzka, Valerie
    NEW TRENDS IN DATABASE AND INFORMATION SYSTEMS, ADBIS 2022, 2022, 1652 : 413 - 424
  • [34] A DISTRIBUTED REAL-TIME LANGUAGE AND ITS OPERATIONAL SEMANTICS
    KRISHNAN, P
    VOLZ, R
    REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1989, : 41 - 50
  • [35] AN OPERATIONAL APPROACH TO SEMANTICS OF REAL-TIME PROGRAMMING LANGUAGE
    HUZAR, Z
    COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (03): : 239 - 254
  • [36] Compositional Operational Semantics of a UML-Kernel-Model Language
    Fecher, Harald
    Kyas, Marcel
    de Roever, Willem-Paul
    de Boer, Frank S.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 156 (01) : 79 - 96
  • [37] A relational investigation of UTP designs and prescriptions
    Deutsch, Moshe
    Henson, Martin C.
    UNIFYING THEORIES OF PROGRAMMING, 2006, 4010 : 101 - 122
  • [38] A UTP Semantics for Communicating Processes with Shared Variables
    Shi, Ling
    Zhao, Yongxin
    Liu, Yang
    Sun, Jun
    Dong, Jin Song
    Qin, Shengchao
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 215 - 230
  • [39] AN OPERATIONAL SEMANTICS FOR ICON - IMPLEMENTATION OF A PROCEDURAL GOAL-DIRECTED LANGUAGE
    OBAGY, J
    WALKER, K
    GRISWOLD, RE
    COMPUTER LANGUAGES, 1993, 18 (04): : 217 - 239
  • [40] Towards an operational semantics for a parallel non-strict functional language
    Hall, JG
    Baker-Finch, C
    Trinder, P
    King, DJ
    IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 1999, 1595 : 54 - 71
12345