-
伊兰
- 参考文献108篇[sw02179]
- 从函数式编程的概念摘要 数据 类型并根据功能评价原理对其进行了评价。。。
-
拉克维特
- 引用4篇文章[sw08939]
- Lackwit:一个基于类型推断。通过静态地确定结构的位置。。。共同的表象,我们可以识别摘要 数据 类型,检测抽象违规,找到未使用的变量,函数。。。领域数据结构,检测操作中的简单错误摘要数据类型和定位站点。。。价值观。我们计算表示共享类型推理,使用类型对表示进行编码。方法。。。
-
DTRE公司
- 引用3篇文章[sw22672]
- 使用上的操作细化规范摘要 数据 类型. 这个系统是半自动的。。。确定其余的实现。数据 类型被指定为参数化理论在许多。。。这些理论的中心是归纳法。摘要规范(理论)是逐步完善的。。。
-
泄漏
- 引用3篇文章[sw09494]
- 用理论精确地指定。摘要 数据 类型,多重继承,复杂对象,重载和动态绑定。。。
-
拉达
- 引用4篇文章【sw20732】
- 代数推理工具数据 类型具有摘要. 我们现在展示的是RADA,一个便携的,可扩展的。。。关于包含代数的公式的推理工具数据 类型使用变形(折叠)函数。。。
-
BGL公司
- 引用了60篇文章[sw17557]
- 解决许多问题类型计算机科学中的问题。因此,这些摘要还必须代表。。。鼓励重用图形算法和数据结构。Boost图形库的一部分。。。
-
电车
- 引用2篇文章[sw03369]
- 建模和指定方法摘要 数据 类型自从他们。。。快速成型工具。有轨电车是摘要条件重写机器排序顺序。。。
-
洛伊
- 引用2篇文章[sw29143]
- 行为表达式,LOTOS的翻译器摘要 数据 类型对一组LISP的操作。。。