• 电除尘器

  • 152篇参考文献[SW06302]
  • 一阶逻辑的定理证明器类型理论后者是一种削减…应用自动化的定理证明包括硬件和软件验证,部分自动化各种数学…ETPS发出应用规则的命令推论以特定的方式,计算机处理…公式。规则推论ETPS中的预定义问题大多采用…
  • 甲基丙烯酸甲酯

  • 13篇参考文献[SW13075 ]
  • 交互式证明开发。然而,现有的语言自动化通过战术(或)提供…定理证明器,或(b)依靠先进类型-理论机器,不容易集成…对依赖于支持的COQ的强大扩展类型化的战术规划。MTAC战术已经进入…它在执行单行策略期间类型 推论
  • 儿童

  • 10篇参考文献[SW1541]
  • KestRead互动开发系统(儿童)自动化的支持正确的发展…演绎设计推论程序简化,部分评估,有限差分优化,数据类型细化,编译…
  • 哈吉

  • 5篇参考文献[SW1293]
  • 类型 推论允许处理非标准数据类型强烈地类型化的语言目前使用哈吉作为一部分自动化的用于一回路计算的封装…
  • 埃维根

  • 5篇参考文献[SW14331 ]
  • 自动化的真核基因组的基因注释程序推论整合多个来源…能够容纳各种证据类型,包括(但不限于)基因模型…
  • 普赛克

  • 4篇参考文献[SW28 518]
  • 搜索引擎设计的互动或自动化的定理证明,并针对两件事…用私人担保的建筑类型不仅是正确的,而且是完整的…不仅仅是对应于推论自然演绎中的逻辑规则
  • 蒂姆尔

  • 1篇参考文献[SW27 564]
  • 自动化的适用于具有非平凡不变量的数据结构的时限验证。程序员提供类型由SMT求解器放电。类型索引推论支持更低的注释负担…此外,BIG-O复杂性可以是推断由递归检查期间生成的递归…模块,表明TIML,虽然缺乏充分自动化理论上的完整性是多方面的…
  • 达尔

  • 1篇参考文献[SW2543]
  • 非单调形式主义。简单易用推论规则,称为默认值,这些逻辑系统模型推理…特殊类型非单调推理。在本文中,我们提出了一个自动化的系统,叫做DARR…
  • 雷特DP

  • 2篇参考文献[SW22665 ]
  • 迈向自动化差分隐私证明。差分隐私的日益普及和采用…类型将关系推理与隐私预算计算分离的系统。依赖性类型, the类型合成定理很短。此外,推论轻型发动机推断大多数…
  • 柔性Java

  • 1篇参考文献[SW28092]
  • 配备近似安全分析,自动推断影响这些的操作和数据…它们近似于提供安全保证。这个自动化语言-编译器协同设计减轻程序员…FLASJAVA语言/编译器能够支持通用类型粗粒度近似技术,但在这里…
  • 可可

  • 601篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1748篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT