玻片

具有电感定义的幻灯片分离逻辑。基于自动机的具有归纳定义的分离逻辑的蕴涵检验。幻灯片是一种用于在分离逻辑中检查蕴涵的原型工具,它提供了递归数据结构(列表、树和其他)的用户提供的归纳定义。基本特征:本地数据结构(双链表、带父指针的树等)的声音和完整性;非局部数据结构的声音(具有链接叶的树、跳过列表等);构建在VATA树自动机库的顶部。


ZBMaX中的参考文献(16篇)1标准条款

显示结果1至16的16。
按年份排序(引文

  1. Fiedor、汤玛斯、霍利克、卢卡斯、冷阿格、恩格斯、沃纳、汤姆斯:WS1S的嵌套反链(2019)
  2. TA,Quang Trung;Le,Ton Chhanh;Koo,Siau Cheng;Chin,Wei Ngan:分离逻辑中的自动互感证明(2019)
  3. Demri,圣·费恩;加尔米赫,迪迪尔;Larchey Wendling,Dominique;米利,丹尼尔:一个量化变量的分离逻辑(2017)
  4. Enea、康斯坦丁、楞、恩格斯、谢菲瑞努、米哈拉、沃伊纳尔、汤姆斯:分离逻辑片段的成分蕴涵检查(2017)
  5. 扬森,克莉丝汀;卡特兰,Jens;Matheja,克里斯托夫;诺尔,托马斯;ZuleGER,弗洛里安:符号堆分离逻辑稳健性的统一推理(2017)
  6. Unel,Gulay.多曼鱼,戴维:基于自动机的决策过程的逻辑程序设计方法(2017)
  7. Demri,Stephane;威慑,摩根:两个变量分离逻辑的表达完备性(2016)
  8. 顾,Xincai;陈,陶洛;吴,Zhilin:一个具有数据约束的线性成分分离逻辑的完整决策过程(2016)
  9. 雷诺兹,安得烈;Iosif,拉杜;塞尔班,克里斯蒂娜;国王,提姆:SMT中分离逻辑的决策过程(2016)
  10. 立田,MKTO;LE,Quang Loc;Chin,Wei Ngan:具有归纳定义的分离逻辑决策程序和PrimBurg算法(2016)
  11. 布罗瑟斯顿,杰姆斯;Gorogiannis,尼科斯:通过碱基对近似证明分离逻辑中的归纳蕴涵(2015)
  12. Demri,圣·费恩;威慑,摩根:分离逻辑与模式:一个调查(2015)
  13. Demri,圣·费恩;威慑,摩根:二元分离逻辑及其内圈(2015)
  14. 海嫩,乔纳森;扬森,克莉丝汀;Katoen,Joost Pieter;NOLL,托马斯:JugGrnaUT:使用图文法抽象无界堆结构(2015)
  15. Iosif,RADU;Rogalewicz,亚当;Vojnar,TaMaa:用树自动机确定归纳分离逻辑中的蕴涵(2014)
  16. Iosif,拉杜;Rogalewicz,亚当;Simacek,JiRi:用递归定义的分离逻辑树宽度(2013)