使用延时演算的时间化RSL的指称语义

李黎; 何积丰

首页> 中文期刊> 《软件学报》 >使用延时演算的时间化RSL的指称语义

使用延时演算的时间化RSL的指称语义

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一些新的特征,并探究了它们的代数定律.这些定律在形式化实时程序和验证实时性质中起着重要作用.最后还给出了时间化RSL的一些代数定律.这些定律可以从其指称语义证明,并用于程序的转化和优化.

著录项

来源
《软件学报》 |2001年第6期|802-815|共14页
作者
李黎; 何积丰;
展开▼
作者单位

中国科技大学;

华东师范学院;

澳门联合国大学国际软件技术研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
延时演算; RAISE描述语言; 指称语义; 实时系统;

相似文献

中文文献
外文文献
专利

1. 语义转换--直接指称语义到接续指称语义 [J] . 吕江花 ,金成植 . 计算机研究与发展 . 2004,第006期
2. 论上海方言人称代词单复数指称混用现象——考察指称混用下的语义场及领属关系 [J] . 张玥 . 福建论坛（社科教育版） . 2011,第008期
3. 论上海方言人称代词单复数指称混用现象——考察指称混用下的语义场及领属关系 [J] . 张玥 . 学术评论 . 2011,第008期
4. 时间词"将来"的词汇化历程及其指称化机制 [J] . 陈昌来 ,张长永 . 鲁东大学学报（哲学社会科学版） . 2010,第005期
5. Combinator演算族的π演算语义 [J] . 张红 ,刘磊 . 吉林大学学报（理学版） . 2006,第003期
6. 一种PLC程序语言指称语义及函数的形式化定义方法 [C] . 肖力田 ,顾明 ,孙家广 . 2011年中国智能自动化会议 . 2011
7. 使用延时演算的时间化RSL的指称语义 [A] . 李黎 . 2000

使用延时演算的时间化RSL的指称语义

摘要

著录项

相似文献

相关主题

期刊订阅