八角形

八角形抽象域库是一个自由库,用于操作特殊类型的称为八角形的多面体,这些多面体对应于形式为±x±y的约束集(所以,在维2中,这些多面体最多有八个面)。这个库的目标是通过抽象解释进行静态分析(在我的博士生导师页面上查找关于抽象解释的简短介绍)。这个图书馆背后的理论工作是在我的DEA和博士期间完成的。论文的主要出版物是一篇题为八边形抽象域的文章。这座图书馆正在进行中。它由作者内部使用,并公开提供,希望对其他人有用,但没有任何保证。此外,这个图书馆仅供学术使用。没有作者的明确授权,图书馆的商业用途是不可能的。


zbMATH中的参考文献(参考文献61条,1标准件)

显示第1到第20个结果,共61个。
按年份排序(引用)
  1. 波兹加,马吕斯;Iosif,拉杜;Konečný,Filip:具有八角环的平面整数程序的安全问题是NP完全的(2014)
  2. 珍妮,贝特朗;施拉梅尔,彼得;Sankaranarayanan,Sriram:一般线性回路的抽象加速度(2014)
  3. Ko,Yoonseok;嗨,基宏;Oh,Hakjoo:用于详细语义分析的稀疏评估技术(2014)
  4. Miné,Antoine:基于抽象解释的关系线程模块化静态值分析(2014)
  5. 城市,卡特里娜;Miné,Antoine:推导序值排序函数的抽象域(2014)
  6. 恒河,格雷姆;桑德加德,哈拉尔德;斯图基,彼得J。;Schachte,Peter:求解模运算上的差分约束(2013)
  7. 佩洛,玛丽;米内,安托万;特鲁谢,夏洛特;Benhamou,Frédéric:基于抽象域的约束求解器(2013)
  8. 鲁克斯,皮埃尔;Garoche,Pierre Loïc:在抽象解释器中集成策略迭代(2013)
  9. 阿马托,詹卢卡;Scozzari,Francesca:随机:基于R的数值域分析仪(2012)ioport公司
  10. 比格德,斯特凡;利斯帕,比约恩;Holsti,Niklas:带包装整数的全有界多面体分析(2012)
  11. 古兹曼,巴勃罗;卡罗,曼纽尔;赫密尼基尔多,曼努埃尔五世。;Stuckey,Peter:tabled CLP的一般实现框架(2012)ioport公司
  12. 库索,帕特里克;库索,拉迪亚;Mauborgne,Laurent:《理论、解算器和抽象解释的静态分析》(2012)
  13. 加利察,托马斯·马丁;David Monniaux:简洁表示的控制流图中通过策略迭代生成不变量(2012)
  14. 戈尔巴尔,哈利勒;伊万契奇,弗朗乔;巴拉克里希南,高古尔;前田直人;Gupta,Aarti:甜甜圈域:抽象解释的有效非凸域(2012)
  15. 吕、祁;麦德森,迈克尔;米拉塔,马丁;拉文,瑟伦;法伦堡,乌利;Larsen,Kim G.:使用max plus代数对时间自动机的可达性分析(2012)
  16. Fähndrich,曼努埃尔;Logozzo,Francesco:静态合同检查与抽象解释(2011)
  17. 马斯特罗尼,伊莎贝拉;Banerjee,Anindya:使用抽象域完整性建模解密策略(2011)
  18. Miné,Antoine:嵌入式关键并行C程序运行时错误的静态分析(2011)
  19. 索廷,帕斯卡;珍妮,贝特朗;弗德林,弗兰克;古堡,埃里克:逻辑数值抽象域中的策略迭代(2011)
  20. 巴格纳,罗伯托;希尔,帕特里夏·M。;Zaffanella,Enea:凸多面体的精确连接检测和其他数值抽象(2010)