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 条
  • [1] UTP Semantics of Reactive Processes with Continuations
    Ngondi, Gerard Ekembe
    Woodcock, Jim
    UNIFYING THEORIES OF PROGRAMMING, UTP 2016, 2017, 10134 : 114 - 133
  • [2] UTP Semantics for BigrTiMo
    Xie, Wanling
    Zhu, Huibiao
    Qin, Shengchao
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 337 - 353
  • [3] A UTP semantics for Circus
    Oliveira, Marcel
    Cavalcanti, Ana
    Woodcock, Jim
    FORMAL ASPECTS OF COMPUTING, 2009, 21 (1-2) : 3 - 32
  • [4] COALGEBRAIC OPERATIONAL SEMANTICS FOR AN IMPERATIVE LANGUAGE
    Steingartner, William
    Novitzka, Valerie
    Schreiner, Wolfgang
    COMPUTING AND INFORMATICS, 2019, 38 (05) : 1181 - 1209
  • [5] A SYNTAX AND SEMANTICS OF A LANGUAGE FOR OPERATIONAL PROCEDURES
    Parise, Giuseppe
    Hesla, Erling
    Parise, Luigi
    2011 IEEE INDUSTRY APPLICATIONS SOCIETY ANNUAL MEETING (IAS), 2011,
  • [6] OPERATIONAL SEMANTICS OF A KERNEL OF THE LANGUAGE ELECTRE
    PERRAUD, J
    ROUX, O
    HUOU, M
    THEORETICAL COMPUTER SCIENCE, 1992, 97 (01) : 83 - 103
  • [7] A Syntax and Semantics of a Language for Operational Procedures
    Parise, Giuseppe
    Hesla, Erling
    Parise, Luigi
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2013, 49 (01) : 250 - 255
  • [8] UTP Semantics for rTiMo
    Xie, Wanling
    Xiang, Shuangqing
    UNIFYING THEORIES OF PROGRAMMING, UTP 2016, 2017, 10134 : 176 - 196
  • [9] A Calculus for Multi-language Operational Semantics
    Cimini, Matteo
    SOFTWARE VERIFICATION, 2022, 13124 : 25 - 42
  • [10] AN OPERATIONAL SEMANTICS FOR A PARALLEL FUNCTIONAL LANGUAGE WITH CONTINUATIONS
    MOREAU, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 605 : 415 - 430
12345