• ETPS公司

  • 在153篇文章中引用[sw06302]
  • 一阶逻辑的定理证明器类型理论。后者是一个削减。。。应用自动化定理证明包括硬件验证和软件验证自动化各种数学。。。ETPS发出命令应用规则推论以特定的方式,计算机处理。。。他们的公式。规则推论而ETP中的预定义问题主要是。。。
  • Mtac公司

  • 引用13篇文章[sw13075]
  • 交互式证据开发。但是,现有的语言自动化通过战术要么(a)提供。。。定理证明者,或(b)依靠先进的类型-不容易整合的理论机器。。。对Coq的强大扩展,支持独立的-打字战术规划。Mtac战术有权。。。它在类型 推论...
  • 孩子们

  • 在10篇文章中引用[sw15441]
  • 红隼互动发展系统(儿童),它提供自动化支持正确。。。设计,演绎推论,程序简化,部分求值,有限差分优化,数据类型精炼,编译。。。
  • 哈吉斯

  • 引用5篇文章[sw12493]
  • 类型 推论允许处理非标准数据类型强烈地打字语言。。。当前使用Haggies作为自动化一个循环计算包。。。
  • 心理

  • 引用5篇文章[sw28518]
  • 为交互式或自动化定理证明,并针对两件事。。。要保证的体系结构,使用私有类型,不仅正确而且完整。。。而不仅仅是对应于推论自然演绎中的逻辑规则。。。
  • 埃维根

  • 引用5篇文章[sw14331]
  • 自动化真核生物基因组的基因注释程序推论要集成多个源。。。能够容纳各种证据的类型包括(但不限于)基因模型。。。
  • 提姆

  • 1条引用[sw27564]
  • 自动化适用于非平凡数据结构的验证。程序员提供类型... 由SMT解算器释放。类型和索引推论支持以降低注释负担。。。此外,big-O复杂性可以是推断从一个循环在类型检查过程中生成的重复。。。模块,演示了TiML,虽然缺少完整的自动化理论上的完整性,足够多用。。。
  • 达尔

  • 1条引用[sw25431]
  • 非单调形式主义。使用简单强大推论规则,被称为默认,这些逻辑系统模型推理。。。特殊的类型非单调推理。在本文中,我们提出了一个自动化系统,叫做DARR。。。
  • 光DP

  • 引用2篇文章[sw22665]
  • 光dp:朝向自动化差异隐私证明。差别隐私的日益普及和采用。。。类型将关系推理与隐私预算计算分开的系统。有依赖关系类型,的类型... 合成定理有缺陷。此外推论LightDP引擎推断大多数。。。
  • 备忘录

  • 1条引用[sw34231]
  • 混合建模框架使,自动化分析截尾和未经审查的资料。。。条件。备忘录基于最大可能性推论并允许测试相互竞争的假设。备忘录。。。各种不同的单细胞数据类型. 我们通过分析。。。
  • 图4代码

  • 1条引用[sw33949]
  • 代码理解、重构、错误检测和代码自动化. 图形使用通用技术来捕捉。。。协助、实施最佳实践、调试和类型 推论. 图形和它的所有伪影。。。
  • FlexJava公司

  • 1条引用[sw22892]
  • 配备近似安全分析,自动推断影响这些的操作和数据。。。它们在提供安全保证的同时,也很接近。这个自动化语言-编译器的代码设计减轻了程序员的负担。。。FlexJava语言/编译器能够支持类型但是,粗粒度的技术。。。
  • 阿多-C

  • 引用225篇文章[sw00019]
  • ADOL-C:C/C++的自动微分。我们呈现。。。
  • ACL2

  • 引用了275篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 公理

  • 在169篇文章中引用[sw00063]
  • 公理是一个通用的计算机代数系统。。。