• 莫德

  • 649篇参考文献[SW06263]
  • 受到重要的影响Obj3语言,可以被视为…
  • Obj3

  • 137篇参考文献[SW05370]
  • Obj3是一个基于有序排序等式逻辑的程序规范和证明系统。
  • 库莫

  • 5篇参考文献[SW06963]
  • 一阶隐藏逻辑中的证明Obj3作为减速发动机。最重要的是…
  • 泄漏

  • 3篇参考文献[SW09494]
  • 程序软泥系统是基于Obj3并提供快速原型和定理证明…
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • CASL

  • 169篇参考文献[SW02265]
  • 由COFI开发的规范语言称为…
  • 2OBJ

  • 9篇参考文献[SW06964 ]
  • 2OBJ是一种“元逻辑框架定理证明器”。
  • RRL

  • 55篇参考文献[SW28 904]
  • 重写规则实验室(RRL)综述。RRL…