框架投影时序逻辑程序设计语言中的指针

来源 :西安电子科技大学学报 | 被引量 : 0次 | 上传用户：buctdai

【摘要】

：

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使

【作者】

：

王小兵段振华

【机构】

：

西安电子科技大学计算理论与技术研究所

【出处】

：

西安电子科技大学学报

【发表日期】

：

2008年6期

【关键词】

：

形式语言时序逻辑程序设计数据结构程序设计语言 formal languages temporal logic programming data st

【基金项目】

：

国家自然科学基金重点项目资助（60433010）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对框架投影时序逻辑程序设计语言Framed Tempura,提出了一种形式化指针及其实现的新方法.该方法扩展了投影时序逻辑,基于名字常量给出了指针引用和反引用的形式化定义,再使用框架操作符和极小模型,给出了指针在投影时序逻辑的可执行子集Framed Tempura中的实现方法.原地逆置单链表的实例说明该方法是切实可行的.

其他文献

一种基于窗口的多速率组播拥塞控制算法

提出一种基于窗口的多速率组播拥塞控制协议WMCC，协议中各层的发送速率根据接收端的反馈进行动态自适应变化；各接收端在基层维护拥塞窗口．按照二项式算法对窗口值进行调整，并进而

期刊

组播多速率拥塞控制multicastmulti-ratecongestion control

纳米TiO_2对聚丙烯/尼龙6共混物的增容作用

用SiO2和环氧基硅烷偶联剂对纳米TiO2进行修饰合成功能化纳米TiO2（sTiO2-O）,然后与聚丙烯/尼龙6共混物进行熔融共混制备了sTiO2-O/PP/PA6纳米复合材料。通过拉伸、冲击等力学性

期刊

纳米二氧化钛增容聚丙烯/尼龙6共混物nanometer-sized TiO2 compatibilization polypropylene/poly

体素内不相干运动的扩散加权像在肾病中的研究进展

传统扩散加权成像(DWI)对脑部及腹腔脏器病变具有诊断功能,对肾脏等具有丰富微循环组织的病变诊断仍有局限性。体素内不相干运动的扩散加权像(IVIM-DWI)通过分离作用弥补了DW

期刊

体素内不相干运动的扩散加权像肾病肾功能试验影像学综述Diffusion-weighted images of intravoxel incoheren

管理学中的“二律背反”现象的思考

管理中总离不开对人的管理,我们既是管理者、同时也是被管理者。管理中会有一个困扰和兴奋点,即管理学中所讲的“二律背反”。“二律背反”表明两个相互排斥而又被认为是同样

期刊

管理二律背反平衡性基本要素

医学院校思政教师《毛概》课程教改探讨

摘要：医学院校在《毛泽东思想和中国特色社会主义理论体系概论》课程的开设上，有区别于其他本科院校的不同特点，要是这一门课程真正地发挥实效，必需认真把握教材，研究学生特点，实施有效方法，探索适合医学院校在校大学生的教学方式，提高课程吸引力，增强感染力，“从实际出发，从问题出发，从学生出发”，紧抓学生特点，采取多元教学方法，是适应医学院校在校生的行之有效的教学方法。　　关键词：医学院校；《毛概》；教改　

期刊

医学院校《毛概》教改

语用迁移在中学英语教学中的影响及其相应策略

【摘要】中学英语教学应注重提高学生的英语语用能力。而语用迁移作为英语学习中存在的一种普遍现象，会阻碍学生英语语言运用能力的发展。本文探讨了中学英语教学中语用迁移的几个问题。　　【关键词】语用迁移中学英语教学语用失误语用能力　　【中图分类号】 G633.4 【文献标识码】 A 【文章编号】 2095-6517（2014）09-0084-01　　目前，中学英语教学比较重视语音、词汇和语法教学，

期刊

语用迁移中学英语教学语用失误语用能力

框架投影时序逻辑程序设计语言中的指针

其他学术论文