• 埃兰

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

  • 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…