抽象解释全总域模型

来源 :中国科学技术大学学报 | 被引量 : 0次 | 上传用户:bdysh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域。本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的。在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题。模型和问题都可以作为今后抽象解释理论发展的参考基点。
其他文献
<正>文化是一个国家、一个民族的灵魂。党的十九大报告中指出:文化自信是一个国家、一个民族发展中更基本、更深沉、更持久的力量。文化兴国运兴,文化强民族强。没有高度的文
含蓄是中国人传统性格的表现,含蓄美也是中国艺术审美特征之一,它体现了中国人对审美艺术的需求,设计艺术与含蓄文化也有着千丝万缕的联系,它来自于我们对社会生活的体验和感
<正>作者简介:朱兵,男,80年出生,陕西宝鸡文理学院美术系教师。青岛大学美术学院水彩专业毕业,师从中国著名水彩画家陶世虎,王绍波,侯安智,陈国庆。2005年作品《凳上的鱼》,
期刊
在激烈的市场竞争中,根据饭店产品有形和无形的属性以及标准化服务的特征,进一步研究和探讨饭店的标准化与个性化服务之间的关系,以及在发展的进程中的应采取的形式,是每一个
对于有限域Fq上周期为N的多维序列,p为Fq的特征,当N与p互素时,定义了多维序列的扩域k错Fq线性复杂度,并用广义离散傅里叶变换的方法给出了多维序列扩域k错Fq线性复杂度的近似
煤炭资源的大规模开采,导致高潜水位采煤沉陷区积水面积迅速扩展.以淮南市7个矿区典型的采煤沉陷水体为研究对象,测试分析了水体中氮、磷等水质指标并进行了水质评价.结果表明:①
提出了一个计算轮胎泵浦噪声的方法.该方法首先利用ABAQUS有限元软件模拟轮胎在路面上的滚动过程,得到在轮胎滚动过程中单个花纹节上各花纹沟的体积变化情况.在此基础上,利用单极
课堂教学的效率是提高语文教学质量的重要前提,也是培养学生较高语文素养的基础,本文对提高语文教学效率的方法策略进行了探索,从分层教学、信息技术手段教学、运用思维导图
提出一种基于正则化投影孪生支持向量机的暂态稳定评估方法。将基于传统支持向量机进行暂态稳定评估的高维二项式优化问题转化为两个低维二项式优化问题,并在投影孪生支持向
20世纪留给西方世界的是这样一种时代现状,古典时代已悄然隐退,自然界以及人类社会经历了双重去魅的过程,自然界以及人类社会已然不是神灵居住的地方,简言之,人类生活世界经