ISCAS OpenIR  > 基础软件与系统重点实验室
高阶时段演算及其完备性
詹乃军
2001
发表期刊中国科学E辑
ISSN1006-9275
卷号31期号:1页码:71-85
摘要研究如何用时段演算来刻画程序的实时行为 .在实时程序设计里 ,程序变量被解释成时间的函数 .为了定义局部变量声明的语义 ,必须引进关于程序变量的量词 .因此 ,建立高阶时段演算是必要的 .首先建立了高阶时段演算理论 ,然后 ,用高阶时段演算去验证了一些程序的实时性质 ;最后 ,在假设所有程序变量均有穷可变的条件下 ,证明了高阶时段演算在抽象时间域上是完备的 .
收录类别cnki,cscd
关键词时段演算 高阶逻辑 实时程序 超稠密计算 完备性
部门归属计算机科学国家重点实验室
资助者United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam
语种中文
内容类型期刊论文
URI标识http://ir.iscas.ac.cn/handle/311060/4542
专题基础软件与系统重点实验室
推荐引用方式
GB/T 7714
詹乃军. 高阶时段演算及其完备性[J]. 中国科学E辑,2001,31(1):71-85.
APA 詹乃军.(2001).高阶时段演算及其完备性.中国科学E辑,31(1),71-85.
MLA 詹乃军."高阶时段演算及其完备性".中国科学E辑 31.1(2001):71-85.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
4.pdf(449KB) 开放获取--请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[詹乃军]的文章
百度学术
百度学术中相似的文章
[詹乃军]的文章
必应学术
必应学术中相似的文章
[詹乃军]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。