• AdaBoost.MH版

  • 引用文献442篇[sw08517]
  • 我们研究的模型可以是解释作为一个广泛的,摘要研究范围的延伸。。。
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 程序切片和用户可扩展摘要 解释组件用于自定义程序。。。
  • 围裙

  • 引用66篇文章[sw00045]
  • 程序的数值变量摘要 解释. 它的目标有三个:为分析实现者提供。。。传播知识的示范工具摘要 解释...
  • 八角形

  • 参考61篇文章【sw13702】
  • 针对静态分析摘要 解释(请参阅摘要 解释... 出版物是一篇题为八角形的文章摘要域。这个图书馆是一个作品。。。
  • 阿斯特里

  • 在111篇文章中引用[sw13704]
  • ASTREç分析仪。ASTRèE是一个摘要 解释-基于静态程序分析器的自动证明。。。
  • 日本星

  • 引用32篇文章[sw11261]
  • 它结合了定理证明和摘要 解释技术。我们证明了它的有效性。。。
  • 第页

  • 参考第19条[sw00669]
  • 已知的数据流分析解释,可以是“简单”的程序内位向量。。。利用摘要 解释以及数据流分析的实现与设计。。。由工具支撑。摘要 解释提供与语言语义的关系。。。基于清洁理论摘要 解释从理论上提出了有效的实施方法。。。
  • 匕首

  • 引用15篇文章[sw04953]
  • 自动精炼摘要 解释.摘要 解释技术通过计算证明程序的性质摘要固定点。。。三种技术可以自动完善摘要 解释为了减少错误。。。精化算法摘要 解释使用join运算符进行合并的摘要州。。。
  • 奥皮亚

  • 引用41篇文章[sw12089]
  • CiaoPP是摘要 解释-基于预处理器的Ciao多范式程序开发环境。。。在编译时完全检查摘要推断的程序模型。。。
  • 肉冻

  • 引用23条[sw04954]
  • 仍然是最强大的,摘要 解释在无限晶格中工作。像这样的。。。如果可能的话,包括计算精确的(摘要)循环的效果。这个技巧。。。
  • 维拉斯科

  • 参考12篇文章[sw19985]
  • 程序。分析仪基于摘要 解释并结合了几个摘要域,非关系。。。
  • 海喇叭

  • 引用13篇文章[sw18274]
  • 软件模型检查和摘要 解释为了验证,和(d)使用了Horn子句。。。
  • HMC公司

  • 参考6篇文章[sw09867]
  • 使用验证功能程序摘要 口译员. 我们提出了Hindley-Milner-Cousots(HMC)算法,它可以。。。基于状态的推理摘要 解释,HMC可以实现程序的全自动验证。。。
  • FunArray公司

  • 在14篇文章中引用[sw13708号]
  • 把它应用到Clousot中摘要 解释-基于.NET的静态合同检查器。我们凭经验。。。
  • 毒蛇

  • 引用8篇文章[sw15038]
  • 生成;基于摘要 解释目前正在开发中。范围很广。。。他们在适当水平上的努力抽象...
  • Isar

  • 引用138篇文章[sw04599]
  • 证明系统和适当水平的抽象用于用户级工作。伊萨尔正式。。。通过Isar/VM立即“可执行”口译译员. 与现有的陈述性定理证明系统相比。。。
  • 帕盖

  • 参考6篇文章[sw13095]
  • 结合最先进的算法摘要 解释和决策程序(SMT解决),关注。。。指数枚举。它是参数化的摘要域在使用中,迭代算法。。。
  • 果洛语

  • 在169篇文章中引用[sw02159]
  • 逻辑程序设计语言GOLOG口译译员自动保持显式的动态表示。。。写在更高层次的抽象比通常可能的要多。语言出现了。。。
  • 慈白

  • 引用4篇文章[sw26821]
  • 慈白:安摘要 解释-基于静态分析器的Java类的模块化分析和验证。。。通用静态分析器基于摘要 解释对于Java的模块化分析和验证。。。