• 阿加达

  • 168篇参考文献[SW0969]
  • 阿加达是一个依赖类型的函数式编程语言:它有归纳的家族,这是相似的…协助开发代码。阿加达也是一个证明助理…交互式书写和校对系统。阿加达是基于直觉型理论的…包既包含命令行程序(也包括命令行程序)阿加达)和Emacs模式。如果你想要…
  • 奥帕

  • 8篇参考文献[ SW09832 ]
  • 程序设计代数阿加达关系型派生的依赖类型。关系程序推导…程序设计代数阿加达)在依赖类型的关系中对关系推导进行编码。编程语言阿加达. 一个程序与一个代数推导相结合,其正确性得到保证。
  • 无溶剂

  • 4篇参考文献[SW13302]
  • 动态源代码和阿加达形式化。AgSeroL是高阶逻辑的一个定理证明器。已建立了证明语言阿加达一种依赖类型的编程语言。定理证明器…输出解决方案阿加达格式,能够独立地检查有效性,并抵抗形式化的健全性…价格昂贵。构建阿加达问题的证明目前不包括这个变换步骤…
  • 拉思阿达

  • 3篇参考文献[SW13303]
  • 拉思阿加达关系代数理论阿加达. 基本范畴和寓言理论图书馆…拉思阿加达项目,包含(只有零星地)识字理论范围从半群,这是“类别…
  • 阿格雷

  • 4篇参考文献[SW13305]
  • 通用依赖类型编程语言,阿加达. 我们的图书馆,Aglet,主要特点…
  • 路由库

  • 1篇参考文献[ SW28 638 ]
  • 阿加达树脂与杜布瓦异步定点理论的形式化。在本文中,我们描述…阿加达基于树脂和杜布瓦的“离散数据并行异步算法”的结果形式化。那个…分布式计算,使形式验证有价值。{}阿加达图书馆为用户提供了一个集合…
  • 榛子

  • 2篇参考文献[SW22659]
  • 元理论,我们使用了机械化阿加达证明助理,当…
  • 辅酶Q

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

  • 106篇参考文献[SW09685 ]
  • 乐高是一个交互式证明开发系统(证明…
  • 警句

  • 21篇参考文献[SW0967]
  • Epigram:依赖类型的实用编程。找到…
  • 光环

  • 10篇参考文献[SW11482]
  • AURA,一种用于授权和审计的编程语言…
  • YOT

  • 35篇参考文献[SW12334 ]
  • Ynot,命令式程序的依赖类型。我们描述…
  • 要塞

  • 16篇参考文献[SW13026]
  • 堡垒是一种正在被设计的新的编程语言…
  • 尼泊尔

  • 2篇参考文献[SW16630]
  • 尼泊尔——Haskell中嵌套的数据并行性。本文…