八角形抽象域-存档ouverte HAL
通信Dans Un Congrès Anneée:2001年

八角形抽象域

安托万·米内
正常供应信息实验室

简历

本文通过抽象解释，提出了一种新的静态分析数值抽象域。它扩展了以前基于差分矩阵的数值抽象域，并允许我们表示形式不变量（+/-x+/-y<=c），其中x和y是程序变量，c是实常量。我们着重于给出基于差分绑定矩阵-O（n2）内存开销的有效表示，其中n是变量的数量-以及所有常见抽象运算符的基于图形的算法-O（n 3）时间开销。这包括测试表示等价性的范式算法和计算最小不动点近似值的加宽算子。

Mots clés公司

静态分析 抽象解释 数值抽象域

与葡萄园

语言编程[cs.PL] 性能和可行性[cs.PF]
菲奇尔校长
小品小品
文章mine.pdf（191.34 Ko） Télé充电器
原籍 菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

安托万·米内 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-00136664

Soumis le:mercredi 14 mars 2007-22:33:54

Dernière修改le:vendredi 19 avril 2024-16:18:55

长期档案：mercredi 7 avril 2010-02:59:11

Télé充电器倒可视化

日期和版本

hal-00136664， 版本1 (14-03-2007)

身份证明人

Citer公司

Antoine Miné。八角抽象域。2001年10月，第310-319页。⟨哈尔-00136664⟩

出口商

BibTeX公司 XML-TEI公司 都柏林核心元数据集 DC条款 尾注 数据引用

收藏

ENS-PARIS公司 CNRS公司 印度 PSL公司
130 磋商
60 交易费用

海拔高度

合作伙伴

更多