您好、欢迎来到现金彩票网!
当前位置:神州彩票app下载 > 公理语义 >

程序推理

发布时间:2019-05-14 11:26 来源:未知 编辑:admin

  前文“结构式时态语义”中定义了程序语言的一种时态语义,这种语义是语法引导的(Syntax Directed),保持语言的结构。本文中讨论在这种语义基础上的程序推理问题。因为这是时态语义,故在程序描述中可使用时态逻辑的丰富的表达力;又因为它是结构式的,故关于各种语句已有的推理方法,都可以翻译为时态逻辑中的定理,随意应用。

  陈菲菲;李果;;不动点定理与企业信息化[J];商场现代化;2007年14期

  武利刚;樊磊;;一类基于R-偏序集的Scott不动点定理的简单变异[J];首都师范大学学报(自然科学版);2008年06期

  陈涛;蒋咏梅;粟毅;郁文贤;;基于压缩映射不动点的图像几何不变特征提取[J];信号处理;2007年01期

  陈志峰;丁宣浩;;基于可控变参数不动点定理分形图像解码[J];中国图象图形学报;2008年08期

  江华;;命题μ-演算全局模型检测的高效算法设计[J];计算机研究与发展;2010年08期

  段川,蒋凡;Quine和自修复式程序生成算法研究与实现[J];计算机工程与应用;2004年06期

  杨琛;段振华;;支持Stutter-不变性的命题区间时序逻辑[J];西安电子科技大学学报;2011年02期

  唐国维;王苫社;张岩;;分形图像压缩的一种改进算法[J];山东理工大学学报(自然科学版);2010年01期

  吴取劲;阳小华;罗扬;刘杰;;基于演进思想的程序断言动态发现模型研究[J];信息技术;2008年05期

  行飞;一重循环结构的分类及其循环不变性质的讨论[J];内蒙古大学学报(自然科学版);1995年02期

  李高平;分形几何及其在图像压缩编码中的应用研究[D];重庆大学;2005年

  杜鸿;关于彩色图像去噪的一类非线性抛物方程组的理论分析[D];上海交通大学;2008年

  王善侠;基于遗传算法与视觉特性的分形图像压缩编码[D];长沙理工大学;2005年

  伍友龙;基于图像分析的高速公路交通事件检测算法研究[D];长沙理工大学;2005年

  曾琼;概率进程代数的度量指称语义[D];中国科学院研究生院(成都计算机应用研究所);2006年

http://39-5963.net/gongliyuyi/147.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有