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 条
  • [41] Improvements in a Functional Core Language with Call-By-Need Operational Semantics
    Schmidt-Schauss, Manfred
    Sabel, David
    PROCEEDINGS OF THE 17TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2015), 2015, : 220 - 231
  • [42] UTP semantics for the MCA ARMv8 architecture
    Xiao, Lili
    Zhu, Huibiao
    JOURNAL OF SYSTEMS ARCHITECTURE, 2022, 125
  • [43] Semantics of dynamic hiding in mobile UTP-CSP
    Ngondi, Gerard Ekembe
    THEORETICAL COMPUTER SCIENCE, 2023, 973
  • [44] A denotational semantics of Simulink with higher-order UTP
    Xu, Xiong
    Zhan, Bohua
    Wang, Shuling
    Talpin, Jean-Pierre
    Zhan, Naijun
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 130
  • [45] Denotational semantics of channel mobility in UTP-CSP
    Ngondi, Gerard Ekembe
    FORMAL ASPECTS OF COMPUTING, 2021, 33 (4-5) : 803 - 826
  • [46] Algebraic approach to operational semantics and observation-oriented semantics for a timed shared-variable language with probability
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    31ST IEEE SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2007, : 131 - +
  • [47] An operational semantics for StAC, a language for modelling long-running business transactions
    Butler, M
    Ferreira, C
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2004, 2949 : 87 - 104
  • [48] Operational semantics of a domain specific language for real time musician–computer interaction
    José Echeveste
    Arshia Cont
    Jean-Louis Giavitto
    Florent Jacquemard
    Discrete Event Dynamic Systems, 2013, 23 : 343 - 383
  • [49] ALGEBRAIC OPERATIONAL SEMANTICS
    GUREVICH, Y
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 1 - 2
  • [50] Operational semantics for Verilog
    Dimitrov, J
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 161 - 168
12345