您的位置： 专家智库 > >

湖南省自然科学基金(07JJ1011)

作品数：1 被引量：10H指数：1
相关作者：王戟侯苏宁陈立前更多>>
相关机构：国防科学技术大学更多>>
发文基金：湖南省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇单变量
  • 1篇区间分析
  • 1篇线性不等式

机构

  • 1篇国防科学技术...

作者

  • 1篇陈立前
  • 1篇侯苏宁
  • 1篇王戟

传媒

  • 1篇计算机学报

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
单变量区间线性不等式抽象域被引量：10
2010年
程序变量的值范围信息对于编译器优化、程序分析与验证等应用至关重要.抽象解释理论提供了一种通用框架为程序变量计算近似的但是可靠的值范围.然而该框架下已有的数值抽象域在表达非凸性质方面存在一定的局限性,影响了值范围分析的精度.文中基于抽象解释理论,提出一个新的数值抽象域——单变量区间线性不等式抽象域.其主要思想是使用单变量区间线性不等式约束作为域元素的约束表示方法.该抽象域的表达能力强于经典的区间抽象域,并允许表达某类非凸、非连通性质.同时,其域操作存在高效的实现算法.该抽象域具有很强的可扩展性,能够应用在实际大规模的程序分析中.
陈立前王戟侯苏宁
关键词：区间分析
全选 清除 导出
共1页<1>
聚类工具0