简化

扩展静态检查。本文概述了扩展静态检查(ESC),这是我们在Compaq(née Digital)系统研究中心研究的一种新技术。我们已经实现并实验了两种扩展静态检查程序,一种用于Modula-3,另一种用于Java。ESC的目标是通过为程序员提供实用的静态检查工具来提高软件生产率。一般来说,静态检查是静态地查找错误,也就是说,不运行程序,因此可以在设计过程中比动态检查(如测试)更早地发现错误。由于如果及早检测到错误,更正错误的成本就会降低,因此改进的静态检查有可能提高软件生产率。


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

显示135个结果中的1到20个。
按年份排序(引用)

1 2 ... 5 6 7 下一个

  1. Barbosa,Haniel;Reynolds,Andrew;El Ouraoui,Daniel;Tinelli,Cesare;Barrett,Clark:将SMT求解器扩展到高阶逻辑(2019年)
  2. Reynolds,Andrew;Kuncak,Viktor;Tinelli,Cesare;Barrett,Clark;Deters,Morgan:SMT中基于反驳的合成(2019)
  3. Barrett,Clark;Tinelli,Cesare:可满足模理论(2018)
  4. Biere,Armin;Kröning,Daniel:基于SAT的模型检查(2018)
  5. Klebanov,Vladimir;Rümmer,Philipp;Ulbrich,Mattias:通过谓词抽象实现指针程序的自动回归验证(2018)
  6. Kojima,Kensuke;Imanishi,Akifumi;Igarashi,Atsushi:无种族GPU程序功能正确性的自动验证(2018)
  7. Reger,Giles;Suda,Martin;Voronkov,Andrei:基于饱和推理的抽象与理论实例化统一(2018)
  8. Reynolds,Andrew;King,Tim;Kuncak,Viktor:通过反例引导实例化解决量化线性算法(2017)
  9. Reynolds,Andrew;Tinelli,Cesare;Barrett,Clark:SMT求解器有限模型发现的约束求解(2017)
  10. 《模块化的存在》;苏珊波伦巴赫(the presence of the memory);苏珊波伦巴赫(Susan Polovendach),2017年版《记忆中的存在》(the presence of the memory);苏珊波伦巴赫(Susan-Shuenbach),模块化验证程序(the presence of the memory,Susan-Shuensu
  11. Bonacina,Maria Paola;Plaisted,David A.:语义引导的目标敏感推理:模型表示(2016)
  12. Dross,Claire;Conchon,Sylvain;Kanig,Johannes;Paskevich,Andrei:使用带触发器的公理向SMT解算器添加决策过程(2016)
  13. Galán,Francisco J.;Cañete Valdeón,JoséM.:用无限量化检验一类定义的正逻辑程序的综合(2016)
  14. Hyvärinen,Antti E.J.;Marescotti,Matteo;Alt,Leonardo;Sharygina,Natasha:Opensmt2:多核和云计算的SMT解决方案(2016)
  15. Jonáš,Martin;Strejček,Jan:使用二进制决策图求解量化位向量公式(2016)
  16. 丹尼尔·克罗宁;奥弗·斯特里奇曼:决策程序。算法观点(2016)
  17. 丹尼尔塞尔萨姆;德莫拉,莱昂纳多:内涵类型理论中的同余闭包(2016)
  18. Alberti,Francesco;Ghilardi,Silvio;Sharygina,Natasha:平面阵列属性的决策程序(2015)
  19. Bonacina,Maria Paola;Johansson,Moa:自动演绎中地面证据的插值系统:调查(2015年)
  20. Bonacina,Maria Paola;Johansson,Moa:自动定理证明中的插值(2015)

1 2 ... 5 6 7 下一个