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 条
  • [41] REAL-TIME PROGRAMMING
    HEHNER, ECR
    INFORMATION PROCESSING LETTERS, 1989, 30 (01) : 51 - 56
  • [42] SYNAPSE - AN OBJECT-BASED REAL-TIME PROGRAMMING LANGUAGE
    DECHAMPLAIN, M
    STRUCTURED PROGRAMMING, 1991, 12 (03): : 145 - 155
  • [43] REAL-TIME EXTENSION OF A HIGHER LEVEL PROGRAMMING LANGUAGE FOR MICROCOMPUTERS
    FEY, P
    ANTONOV, A
    MICROPROCESSING AND MICROPROGRAMMING, 1985, 15 (04): : 191 - 194
  • [44] Real-time Learning Analytics for C Programming Language Courses
    Fu, Xinyu
    Shimada, Atsushi
    Ogata, Hiroaki
    Taniguchi, Yuta
    Suehiro, Daiki
    SEVENTH INTERNATIONAL LEARNING ANALYTICS & KNOWLEDGE CONFERENCE (LAK'17), 2017, : 280 - 288
  • [45] A RULE-BASED PROGRAMMING LANGUAGE FOR REAL-TIME APPLICATIONS
    DELRIO, A
    MARINO, P
    MICROPROCESSING AND MICROPROGRAMMING, 1993, 39 (2-5): : 139 - 142
  • [46] A METALOGIC PROGRAMMING APPROACH - LANGUAGE, SEMANTICS AND APPLICATIONS
    COSTANTINI, S
    LANZARONE, GA
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1994, 6 (03) : 239 - 287
  • [47] A Theorem Proving Approach to Programming Language Semantics
    Roy, Subhajit
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING-SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET, 2023, : 153 - 165
  • [48] A modular approach to programming distributed real-time systems
    Ren, SP
    Agha, GA
    Saito, M
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1996, 36 (01) : 4 - 12
  • [49] REAL-TIME OPERATIONAL RELIABILITY
    KNEZEVIC, J
    RELIABILITY DATA COLLECTION AND USE IN RISK AND AVAILABILITY ASSESSMENT /, 1989, : 710 - 715
  • [50] Towards Real-Time Semantics for a Distributed Event-Based MOP Language
    Sanabria, Mateo
    Garzon Alfonso, Wilmer
    Benavides Navarro, Luis Daniel
    NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 231 - 243
12345