2. 您的位置
3. 首页
4. 期刊论文
5. 时序逻辑语言XYZ／E中指针的形式化表示与验证

时序逻辑语言XYZ／E中指针的形式化表示与验证

来源 :软件学报 | 被引量 : 0次 | 上传用户：syyyqw

【摘 要】

：

指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是

【作 者】

：

李广元 唐稚松 

【出 处】

：

软件学报

【发表日期】

：

2000年3期

【关键词】

：

形式语义 程序验证 指针 时序逻辑语言 XYZ/E Temporal logic  formal semantics  program verification 

【基金项目】

：

“九五”国家重点科技攻关项目计划!No.98- 780 - 0 1- 0 7- 0 1&&

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机制 .本文主要讨论在时序逻辑语言 XYZ/E中指针的形式化表示问题以及在结构化 XYZ/SE程序中指针的验证问题 .

其他文献

基于扩展角分类神经网络的文档分类方法

CC4神经网络是一种三层前馈网络的新型角分类（corner classification)训练算法，原用于元搜索引擎Anvish的文档分类。当各文档之间的规模接近时，CC4神经网络有较好的分类效果，然而

期刊

角分类神经网络文档分类数据索引距离信息document classification CC4 neural network data indexi

面向大规模网络的基于政策的访问控制框架

研究防火墙(或过滤路由器)应用于传输网络中的管理问题与吞吐量问题.一方面,手工配置分布在各个接入点的大量防火墙,无法满足开放的、动态的网络环境的安全管理需求;另一方面

期刊

计算机网络网络安全访问控制防火墙安全政策散列表AlgorithmsComputer networksControlInternetLarge

误诊为肺结核的肺肉瘤样癌1例

<正>临床资料患者52岁,男性,农民,长期吸烟,1包/天,约30年。因"反复咳嗽、咳痰、呼吸困难半年"予2017年12月29日入院。查体:体温37. 2℃,脉搏96次/分,呼吸21次/分,血压134/85

期刊

肺肉瘤样癌肺不张演化机理左主支气管肺结核支气管镜检查纤支镜活检干酪样坏死物多西他赛上皮间充质转化周围型中央型全肺切除术支气管内膜结核

余创的养鱼路越走越宽

一位农村青年叫余创,他1990年初中毕业后,因家境困难,告别贫瘠的故土,挤上南下的列车,去广东湛江姨父家打工。 在姨父家近一年,学到了姨父的一些养鱼技术。1991年4月回到家中

期刊

养鱼技术茶枯湖南农业有机肥基本技术合理投喂无病先防成功秘诀农村青年常用药物

无线自组网中基于移动预测与功率调整的适应性分簇算法

传送功率控制是无线自组网中资源管理和控制干扰的中心技术、传统上功率控制只是用作消除信道消隐负作用的一种手段，当前观点一般认为功率控制是一种可以为单个用户提供服务质

期刊

无线自组网移动预测功率调整适应性分簇算法功率控制CDMAAd hoc networks mobility prediction power co

利用串匹配技术实现网上新闻的主题提取

从文本中提取主题串是自然语言处理的重要基础之一，传统的提取方法主要是依据“词典加匹配”的模式，由于词典的更新速度无法同步于网上新闻中新词汇涌现的速度，而且词典的内容也

期刊

网页信息处理网上新闻主题提取自然语言处理串匹配技术Web information processing Internet news subjec

浅谈物理概念的教学

摘要：本文阐述了使学生形成清晰的物理概念的重要性，进而提出了搞好物理概念教学应从以下几方面着手：一是充分运用实验，加强直观教学;二是准确、严密地讲授概念，突出概念的关键，明确概念的物理意义;三是结合练习、复习，促使概念的巩固与发展。　　关键词：物理概念；教学　　　　什么是概念？概念是“反映对象本质属性的思维形式”，它具有高度的概括性和抽象性。人类要认识自然、改造自然，掌握事物的本质，就必须运用概念

期刊

物理概念教学方法重要性直观教学

沥青路面早期破坏原因的浅探

本文从路面设计、路面施工、养护管理及其他环节,结合工程实践,分析了沥青路面早期破坏的原因。

期刊

道路工程沥青路面破坏原因

新立法对公共设备经营机构的数据库设计和维护的影响

正如在其它欧洲国家所发生的一样，目前欧共体关于经济和货币一体化的政策对意大利的公共设施运营机构产生了戏剧性的影响，一方面，这些机构必须提供有效的服务，甚至通过互联网来提

期刊

数据库信息系统案例研究设计维护新立法公共设施经营机构

浅谈铁路工程建设项目中的造价管理控制

铁路建设项目的造价投资控制,是以工程勘测设计阶段为重点的整个项目全过程中的主动控制,也是考虑技术与经济相结合科学台理的造价控制。对铁路建设项目全寿命周期的客观、公

期刊

铁路工程项目管理造价管理控制