• 埃兰

• 105篇参考文献[SW02179]
• 从函数编程的概念摘要 数据 类型并基于功能评价原理…

• 雷沃

• 68篇参考文献[SW28 907]
• 本文取自摘要 数据 类型规格

• 多语种

• 33篇参考文献[SW09420]
• 并行构建和支持摘要 数据 类型推荐的MuldiLIP编程风格…

• 帕斯卡尔SC

• 29篇参考文献[SW30417]
• 综合类型操作员概念摘要 数据 类型程序、函数和操作符的重载…

• 多层螺旋线

• 29篇参考文献[SW29 626]
• 数据元素的形式摘要 数据 类型. μCRL工具集（参见http://www. cWi.nl…

• 克莱尔

• 33篇参考文献[SW02583]
• 混凝土和混凝土的迭代摘要集合（集合）数据 类型和程序片段），在一个完整的…

• 更新

• 17篇参考文献[SW0487]
• 已提出考虑摘要 数据 类型、面向对象、层次结构…

• 模糊的

• 7篇参考文献[ SW02575 ]
• 模糊语言，一种规范语言摘要 数据 类型. 模糊是一种规范语言。摘要…

• 2LV-D2P4

• 7篇参考文献[SW0900]
• FORTRAN 95，利用诸如摘要 数据 类型创建，功能重载和动态内存…

• 拉斯特

• 7篇参考文献[SW17158]
• 后端那栋房子摘要 数据 类型宏基因组学RAST是稳定的、可扩展的、自由的…

• 断言

• 6篇参考文献[SW28 906]
• 以自然为中心的互动演绎系统摘要 数据 类型. 因为经常需要长的证明…

• RT-ASLAN

• 6篇参考文献[SW30491]
• 作为一个接口过程摘要 数据 类型表示共享信息。从RT-ASLAN规范，性能…

• 科斯塔斯

• 5篇参考文献[SW0987]
• 可执行文件：一种功能性的子语言摘要 数据 类型用于指定内部的、顺序的…

• 拉克维特

• 3篇参考文献[ SW08939 ]
• Lackwit：一个基于程序理解工具类型推论。通过静态地确定结构…共同代表，我们可以识别摘要 数据 类型检测抽象化违反，查找未使用的变量，函数…领域数据结构，检测操作中的简单错误摘要数据类型，并找到网站…价值。我们计算表示共享。类型推理，使用类型对表示进行编码。方法…

• DTRE

• 3篇参考文献[SW22672]
• 使用操作细化规范摘要 数据 类型. 该系统是半自动的…确定其余的实现。数据 类型在许多…中被指定为参数化理论…这些理论以归纳分类为中心。摘要规范（理论）是循序渐进的。

• 泄漏

• 3篇参考文献[SW09494]
• 精确地用理论来说明。摘要 数据 类型多继承、复杂对象、重载和动态绑定…

• 拉达

• 4篇参考文献[ SW20732 ]
• 代数推理工具数据 类型与抽象化. 我们提出的RADA，便携式，可扩展的…含代数公式的推理工具数据 类型利用变质作用（折叠）函数…

• BGL

• 56篇参考文献[SW1757]
• 解决许多类型计算机科学中的一些问题。因此，这些抽象化也必须代表…鼓励图形算法的重用数据结构。Boost图形库的一部分…

• 有轨电车

• 2篇参考文献[SW03369]
• 建模与指定方法摘要 数据 类型自从他们…快速成型工具。有轨电车是摘要机器排序排序条件项重写…

• 洛伊

• 2篇参考文献[SW29 143]
• 行为表达式，洛托斯的翻译摘要 数据 类型操作到一组LISP…