• 中国保监会

  • 40篇参考文献[SW06202]
  • 原理。圆度原理概括了两个循环。共诱导和结构归纳,可以表达…圆度原理变圆共诱导. 当方程被冻结在底部…推导规则。这样,CIRC同时支持这两种方式。共诱导和诱导作为一个更多的预测…
  • 帕科

  • 15篇参考文献[SW1085]
  • Paco:一个参数化的COQ库共诱导. PACO是实现参数化的COQ库共诱导参数化共诱导是一种定义技术共感应谓词(即,在PROP)中,使用…表演共感应与标准的塔斯基风格相比,在一种更具成分和增量的时尚中证明…
  • 煤堆

  • 17篇参考文献[SW16105]
  • 余代数逻辑程序设计:从语义到实现。共感应定义,如无限的定义…
  • 共感应

  • 6篇参考文献[SW28 537 ]
  • 伊莎贝尔共感应这篇文章收集了通用的形式化。共感应数据类型和数据集。目前。。。包含共感应自然数,共感应列表,即懒惰列表或流,无限流,共感应结束。。。列表,共感应恢复,一个关于操作的图书馆共感应列表,以及KoNig的版本…引理作为应用共感应列表最初的理论是由保尔森贡献的…
  • 萨菲迪

  • 13篇参考文献[ SW01989 ]
  • 上下文定义的行为等价可以表征。共诱导的使用基于类型化动作的互模拟…
  • 塔克

  • 7篇参考文献[SW0945 5]
  • 利用归纳法自动证明许多定理共诱导. 由于自动证明程序是结构化的…
  • 科克马

  • 3篇参考文献[SW22657 ]
  • CoCaml:有规则的函数编程共感应类型函数语言提供了高层次的抽象…函数编程的发展是感性的共感应类型和相关的编程构造,例如…在大多数语言中都有很好的支持,共感应类型是最近研究的主题。定义递归函数共感应数据类型。这些函数定义为通常的递归函数…
  • 库莫

  • 5篇参考文献[SW06963]
  • 等式逻辑被实现,包括归纳和共诱导. KUMO生成证明文档…
  • COFJ

  • 5篇参考文献[SW29 270]
  • 扩展到轻量级Java共感应编程,一个明确设计的子范式,以缓解…
  • 科克拉姆

  • 2篇参考文献[SW28 719]
  • 未能产生证人共诱导从发散证明尝试。共诱导是一个证明规则…自动化的中心难点共感应证明是一种关系的选择(称为……)互模拟)。我们提出了一种自动化共感应定理证明这种自动化是基于…猜猜看,这样一个更大的类共感应问题可以自动验证。实施…
  • 流融合码

  • 1篇参考文献[SW28 590]
  • 列出理论列表中的函数共感应名单,并证明他们正确的尊重…最后,它涵盖了有限和共感应来自HOL库的列表…共感应入口易熔列表功能需要不同于赫夫曼的规范和证明原理…
  • 嘎拉蜂

  • 2篇参考文献[SW09566]
  • 向下,目标导向方式使用共诱导. GaliWASP接下来检查候选答案是否设置…
  • Q流

  • 1篇参考文献[SW13491]
  • Haskell,QStand,实现技术共感应用Haskell建的计数…共诱导能力。此外,我们提供了一些有用的工具流勘探,包括…
  • 共用数据类型

  • 1篇参考文献[SW28 68]
  • 通过定义和证明的定义共诱导. 然后定义语言的常规操作…标准定义。作为练习共诱导我们还证明了KLeNe代数的公理。
  • 动态体系结构

  • 1篇参考文献[SW30953]
  • 痕迹,它们是形式化的。共感应列表因此,我们的理论是基于…Lochbihler的形式化共感应列表该理论可以应用于验证性质。
  • 抽象合理性

  • 1篇参考文献[SW28 839 ]
  • 抽象的健全性。形式化的共感应对Brotherston、Gorogiannis和彼得森的抽象发展的叙述……
  • 辅酶Q

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

  • 58篇参考文献[SW0177]
  • 可爱:C.的同音单元测试引擎。
  • FEPG

  • 4篇参考文献[SW0266]
  • 有限元程序生成器(FEPG)是一种新型的有限元程序。