切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
程序正确性验证的代数方法及其研究进展
程序正确性验证的代数方法及其研究进展
来源 :桂林电子科技大学学报 | 被引量 : 0次 | 上传用户:zxcvbnmzhaowei
【摘 要】
:
程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完全正确性,基于不动点定理、特征值理论、秩函
【作 者】
:
廖苑蓉
陈光喜
【机 构】
:
桂林电子科技大学数学与计算科学学院
【出 处】
:
桂林电子科技大学学报
【发表日期】
:
2013年1期
【关键词】
:
程序正确性
终止性
不动点
秩函数
program correctness termination fixed point ranking function
【基金项目】
:
广西可信软件重点实验室开放基金(KX201213)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序的完全正确性包括程序的部分正确性和终止性,为了提高程序验证的正确性,介绍了程序正确性的验证方法,包括基于公理化验证程序的完全正确性,基于不动点定理、特征值理论、秩函数、有限差分等验证程序的终止性。最后,总结了各种验证方法的研究现状以及未来发展。
其他文献
校企合作中外政策制度比较分析
通过对澳大利亚和德国高职办学教育政策制度的调查和研究,对我国现阶段高等职业教育如何深度开展产学研结合的校企合作模式,做进一步的探索研究。
期刊
高职教育
校企合作模式
政策制度
vocational education
school-enterprise cooperation mode
polic
2018第三届智库能力与新型智库建设暨齐文化与当代价值高级研修班通知
为贯彻党的“十九大”关于加强中国特色新型智库建设的指示精神和习近平总书记关于智库建设的重要论述,加强中国特色新型智库核心能力建设,推进科学决策、民主决策,推进国家治理体系和治理能力现代化,解决新型智库建设理论与实践发展中面临的新问题,加强智库实践界、学术界与决策部门间的交流与研讨,中国科学院文献情报中心于2018年11月28日-12月1日在山东省淄博市举办“2018第三届智库能力与新型智库建设暨齐
期刊
能力建设
高级研修班
价值
文化
中国特色
科学决策
治理体系
民主决策
高校大学生考研指导工作中的问题与思考——以南京晓庄学院食品科学学院为例
本文通过分析高校大学生考研服务工作中出现问题及原因,提出构建由学校、主管部门、二级学院三级联动,针对考研报名、复习、考试、复试四个阶段,提供报考指导、备考辅导、考
期刊
考研辅导
四位一体
工作机制
guidance for postgraduate entrance examination
four in one
work
《智库理论与实践》学术支持单位条件要求
由中国科学院文献情报中心和南京大学联合主办的国家级公开出版学术期刊《智库理论与实践》,是智库研究领域重要学术媒体,是业界重要的智库研究交流平台。本刊欢迎业界知名智
期刊
学术期刊
研究机构
中国科学院
南京大学
交流平台
学术成果
期刊宣传
国家级
知识视角下美国外交关系协会的智库功能探究
[目的/意义]通过考察美国外交关系协会的智库功能,分析国际顶级智库的知识产品及服务,总结智库通过知识产品发挥影响力的途径,为中国新型智库建设提供借鉴。[方法/过程]采用案例
期刊
美国外交关系协会
智库
知识产品
国际政治
全球智库报告
Council on Foreign Relations
think tank
knowledge p
论诗歌叙事语符对诗歌叙事文本语义的结构主义阐释
西方学者很早就论及语符,但是尚未论及诗歌叙事学中的诗歌叙事语符以及诗歌叙事语符对诗歌叙事文本语义的阐释作用。为此,本文在结构主义理论的关照下论述诗歌叙事语符对诗歌
期刊
诗歌叙事学
语符
语义
诗歌叙事语符
诗歌叙事文本
基础教育课程改革视角下学生角色转变问题
摘 要 基础教育改革背景下,新课改对学生角色定位产生了新的要求和期待,学生角色转变与基础教育课程改革的成功与否休戚相关。通过分析基础教育课程改革下的学生观、基础教育改革对教师教学方式定位和我国的教育目的对学生角色转变的要求,以及对我国目前学生角色转变的现状思考,认为学生角色转变至关重要,并且从教师角度和学生角度探究出了学生角色转变的几条路径,这对于学生在教学过程中有效地学习和自身综合素质的发展与提
期刊
基础教育
课程改革
学生角色转变
骶尾部去分化脊索瘤
1临床资料患者男性,68岁。1995年夏季无诱因出现骶尾部阵发性疼痛,半年后自觉骶尾部麻木,于1997年7月就诊于某医院,拟诊“粉瘤”行切除术。病理诊断为“骶尾部低分化脊索瘤”,未行放疗。术后骶
期刊
骶尾部肿瘤
去分化脊索瘤
病理学
高职院校社会服务对策研究——以金融管理专业为例
社会服务被认为是高职院校的主要职能之一。但是,目前我国高职院校整体仍然存在着社会服务提供不足、不被重视、又缺少监管等问题。其主要原因来自于学校管理层面没有建立起
期刊
高职院校
社会服务
责任制
金融管理专业
higher vocational college
social service
responsibility sys
新时代创意人才集群培育的世纪工程
[目的/意义]为实现“十三五”时期的宏伟发展目标,党的十九大进一步强调了“创新、协调、绿色、开放、共享”五大发展理念,而创新是其首要的、先导的、核心的理念。要实现这一
期刊
智客
创客
极客
数客
威客
zhike
maker
geek
shuke
Witkey
与本文相关的学术论文