• UCPOP

  • 37篇参考文献[SW2068 7]
  • 目标此外,UCPP 4.1允许域公理以及调用普通LISP代码的谓词…表示,但可以添加侵略性的,领域-依赖的具有方便声明规则的搜索控件…
  • YOT

  • 35篇参考文献[SW12334 ]
  • 包括支持的功能强大的语言依赖的类型,但语言是有限的…访问可变存储,投掷/捕捉例外情况。公理不成立一个小型可信计算…
  • 阿尔多

  • 24篇参考文献[SW01220]
  • 被认为是一种扩展语言公理系统,但现在使用更多…在程序内操作。普遍支持依赖的类型允许静态检查动态对象。什么
  • CHC 3

  • 11篇参考文献[SW0988]
  • 接地和终止模公理他们的规则应该是…最重要的是检查和抽象的发展取决于理论上是地面相干的。此外…规则R都是有条件的公理涉及结合性、交换性的各种组合…
  • 霍罗米加

  • 9篇参考文献[SW0688]
  • 逻辑,以及新的基础公理推理规则…接近,整个系统的健全性取决于批判地并且仅仅依靠健全性…
  • ALM

  • 4篇参考文献[SW29 436]
  • 基于A的模块层次结构附属国关系。它包含各种类型的声明、属性…域的性质与公理描述它们。结构被用来描述…
  • 霍尔克

  • 3篇参考文献[SW25266]
  • 先前概念的术语,不引入新的公理. HORCF’11的主要特征包括…基于POWER域的并发性。形式化取决于关于HOLCF独有的许多特性…
  • 辅酶Q

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

  • 518篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • R

  • 7468篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 减少

  • 736篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。