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 条
12345