AN OPERATIONAL APPROACH TO SEMANTICS OF REAL-TIME PROGRAMMING LANGUAGE

被引：0
|
作者：
HUZAR, Z
机构：
来源：
COMPUTERS AND ARTIFICIAL INTELLIGENCE | 1991年 / 10卷 / 03期
关键词：
REAL-TIME PROGRAMMING; CSP; OPERATIONAL SEMANTICS; TRANSITION SYSTEM;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The use of a modified Plotkin's structural operational approach to the semantics of real-time language is proposed. For idea presentation a modified version of Hoare's CSP as an exemplary language is chosen. Semantics takes fully into account the elapse of time during a program execution. The notion of an executing environment is introduced. The definition of a transition system generating computations in the given environment and some properties of the computations are presented.
引用
收藏
页码：239 / 254
页数：16
相关论文
共 50 条
  • [21] Semantics of Parallel Nets: A Real-Time Approach.
    Boussinot, F.
    Revue technique - Thomson-CSF, 1980, 12 (03): : 557 - 573
  • [22] Towards precise descriptions for programming language interoperability: a general approach based on operational semantics
    Ospina, Gustavo A.
    Le Charlier, Baudouin
    ENTERPRISE INTEROPERABILITY II: NEW CHALLENGES AND APPROACHES, 2007, : 581 - 586
  • [23] 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
  • [24] Design of real-time programming language RTS/Java
    Gui, Xian-Zhou
    Huang, Wei-Dong
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2002, 30 (02): : 224 - 228
  • [25] A real-time programming language as a means of expressing specifications
    Colnaric, M
    Verber, D
    Halang, WA
    CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 975 - 981
  • [26] A verifiable language for programming real-time communication schedules
    Fischmeister, Sebastian
    Sokolsky, Oleg
    Lee, Insup
    IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (11) : 1505 - 1519
  • [27] Elevate embedded real-time programming with a synchronous language
    Grosch, Franz-Josef
    MEMOCODE 2017: PROCEEDINGS OF THE 15TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, 2017, : 5 - 5
  • [28] DESIGN OF A LANGUAGE FOR PROGRAMMING REAL-TIME CONCURRENT PROCESSES
    SCHUTZ, HA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (03) : 248 - 255
  • [29] A real-time and distributed system with programming language abstraction
    Saridogan, E
    Erdogan, N
    INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS, 1999, : 3054 - 3060
  • [30] AN OBJECT-ORIENTED REAL-TIME PROGRAMMING LANGUAGE
    ISHIKAWA, Y
    TOKUDA, H
    MERCER, CW
    COMPUTER, 1992, 25 (10) : 66 - 73
12345