-
阿格达
- 引用了187篇文章[sw09689]
- 阿格达是一种独立类型的函数式编程语言:它有归纳族,它们类似于。。。协助开发代码)。阿格达也是一个证明助理。。。书写和校对校样的交互式系统。阿格达基于直觉型理论。。。这个包包括两个命令行程序(阿格达)以及Emacs模式。如果你想。。。
-
美国石油协会
- 引用8篇文章[sw09832]
- 程序设计代数阿格达:关系程序派生的依赖类型。关系程序派生。。。程序设计代数阿格达),在依赖类型中对关系派生进行编码。。。程序设计语言阿格达. 一个程序与一个代数推导耦合,其正确性得到保证。。。
-
阿格索尔
- 引用4篇文章[sw13302]
- AgsyHOL源代码和阿格达形式化。agsyHol是高阶逻辑的定理证明者。。。证明语言已在阿格达,一种独立类型的编程语言。定理证明者。。。输出解决方案阿格达格式,允许独立检查有效性并对照正式的可靠性。。。对阿格索尔来说代价不菲。构建阿格达问题的证明目前不包括这个转换步骤。。。
-
拉思阿格达
- 引用3篇文章[sw13303]
- 拉思-阿格达:关系代数理论阿格达. 基本范畴和寓言理论库。。。拉思-阿格达项目,包含(只是偶尔真正)识字的理论从半群,这是“范畴。。。
-
肩带
- 引用4篇文章[sw13305]
- 通用独立类型编程语言,阿格达. 我们的图书馆,Aglet,主要功能。。。
-
路由库
- 引用2篇文章[sw28638号]
- 阿格达Üresin的形式化&Dubois的异步不动点理论。在本文中我们描述。。。阿格达-基于Üresin&Dubois“离散数据并行异步算法”结果的形式化。那个。。。{形式化的验证,值得我们的分布式计算阿格达图书馆为用户提供了一个收藏。。。
-
乌里布
- 1条引用[sw36875]
- 阿格达泛代数库和马丁-洛夫依赖型理论中的伯霍夫定理。。。阿格达通用代数库是一个类型和程序(定理和证明。。。马丁-洛夫依赖型理论阿格达编程语言和校对助手。这篇论文。。。并演示了它是如何阿格达更容易被工作的数学家(像我们自己。。。