-
阿加达
- 168篇参考文献[SW0969]
- 阿加达是一个依赖类型的函数式编程语言：它有归纳的家族，这是相似的…协助开发代码。阿加达也是一个证明助理…交互式书写和校对系统。阿加达是基于直觉型理论的…包既包含命令行程序（也包括命令行程序）阿加达）和Emacs模式。如果你想要…
-
奥帕
- 8篇参考文献[ SW09832 ]
- 程序设计代数阿加达关系型派生的依赖类型。关系程序推导…程序设计代数阿加达）在依赖类型的关系中对关系推导进行编码。编程语言阿加达. 一个程序与一个代数推导相结合，其正确性得到保证。
-
无溶剂
- 4篇参考文献[SW13302]
- 动态源代码和阿加达形式化。AgSeroL是高阶逻辑的一个定理证明器。已建立了证明语言阿加达一种依赖类型的编程语言。定理证明器…输出解决方案阿加达格式，能够独立地检查有效性，并抵抗形式化的健全性…价格昂贵。构建阿加达问题的证明目前不包括这个变换步骤…
-
拉思阿达
- 3篇参考文献[SW13303]
- 拉思阿加达关系代数理论阿加达. 基本范畴和寓言理论图书馆…拉思阿加达项目，包含（只有零星地）识字理论范围从半群，这是“类别…
-
路由库
- 1篇参考文献[ SW28 638 ]
- 阿加达树脂与杜布瓦异步定点理论的形式化。在本文中，我们描述…阿加达基于树脂和杜布瓦的“离散数据并行异步算法”的结果形式化。那个…分布式计算，使形式验证有价值。{}阿加达图书馆为用户提供了一个集合…
