八角形

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


zbMATH参考文献(参考,1标准件)

显示第1到第20个结果,共61个。
按年份排序(引用)
  1. Bozga,Marius;Iosif,Radu;Konečný,Filip:具有八边形循环的平面整数程序的安全问题是NP完全的(2014)
  2. Jeannet,Bertrand;Schrammel,Peter;Sankaranarayanan,Sriram:一般线性回路的抽象加速度(2014)
  3. Ko,Yoonseok;Heo,Kihong;Oh,Hakjoo:用于详细语义分析的稀疏评估技术(2014)
  4. Miné,Antoine:基于抽象解释的关系线程模块化静态值分析(2014)
  5. Urban,Caterina;Miné,Antoine:推导序值排序函数的抽象域(2014)
  6. Gange,Graeme;Søndergaard,Harald;Stuckey,Peter J.;Schachte,Peter:在模运算上求解差分约束(2013)
  7. Marie Pelleau;Antoine Miné;Charlotte Truchet;Benhamou,Frédéric:基于抽象域的约束求解器(2013)
  8. Roux,Pierre;Garoche,Pierre Loïc:在抽象解释器中集成策略迭代(2013)
  9. Amato,Gianluca;Scozzari,Francesca:随机:基于R的数值域分析仪(2012)ioport公司
  10. Bygde,Stefan;Lisper,Björn;Holsti,Niklas:带包装的整数全有界多面体分析(2012)
  11. Chico de Guzmán,Pablo;Carro,Manuel;Hermenegildo,Manuel V.;Stuckey,Peter:《表列CLP的一般实施框架》(2012年)ioport公司
  12. 库索,帕特里克;库索,拉迪亚;莫博涅,劳伦特:理论,求解器和抽象解释静态分析(2012)
  13. Gawlitza,Thomas Martin;Monniaux,David:简洁表示的控制流图中通过策略迭代生成不变量(2012)
  14. Ghorbal,Khalil;Ivančić,Franjo;Balakrishnan,Gogul;Maeda,Naoto;Gupta,Aarti:用于抽象解释的有效非凸域(2012)
  15. Lu,Qi;Madsen,Michael;Milata,Martin;Ravn,Søren;Fahrenberg,Uli;Larsen,Kim G.:使用max plus代数对时间自动机的可达性分析(2012)
  16. Fähndrich,Manuel;Logozzo,Francesco:带抽象解释的静态合同检查(2011)
  17. Mastroeni,Isabella;Banerjee,Anindya:使用抽象域完整性建模解密策略(2011)
  18. Miné,Antoine:嵌入式关键并行C程序运行时错误的静态分析(2011)
  19. Sotin,Pascal;Jeannet,Bertrand;Védrine,Franck;Goubault,Eric:逻辑数值抽象域中的策略迭代(2011)
  20. Bagnara,Roberto;Hill,Patricia M.;Zaffanella,Enea:凸多面体的精确连接检测和其他数值抽象(2010)