• 伊兰

  • 参考文献108篇[sw02179]
  • 从函数式编程的概念摘要 数据 类型并根据功能评价原理对其进行了评价。。。
  • 收入

  • 引用68篇文章[sw28907]
  • 本文摘自摘要 数据 类型规格。。。
  • 多重口齿

  • 参考33篇文章[sw09420]
  • 并行结构和摘要 数据 类型:推荐的Multilisp编程样式。。。
  • 帕斯卡SC

  • 引用了30篇文章[sw30417]
  • 一般的类型,运算符概念摘要 数据 类型,过程、函数和运算符重载。。。
  • mCRL公司

  • 引用31篇文章[sw29626]
  • 数据元素的形式摘要 数据 类型. μCRL工具集(见http://www.cwi.nl。。。
  • 克莱尔

  • 在34篇文章中引用[sw02583]
  • 混凝土和摘要套(数据 类型和程序片段),在一个完全。。。
  • 更新

  • 17条引用[sw04387]
  • 已经被提议解释摘要 数据 类型,面向对象,层次结构。。。
  • 模糊的

  • 参考7篇文章[sw02575]
  • 晦涩难懂,是摘要 数据 类型. 晦涩是摘要...
  • 2LEV-D2P4型

  • 引用8篇文章[sw00009]
  • Fortran 95,利用诸如摘要 数据 类型创建、函数重载和动态内存。。。
  • 拉斯特

  • 参考7篇文章[sw17158]
  • 房子的后端摘要 数据 类型宏基因组学RAST是稳定的、可扩展的、自由的。。。
  • 断言

  • 参考6篇文章[sw28906]
  • 互动的自然演绎系统摘要 数据 类型. 因为经常需要很长的证据。。。
  • 阿斯兰-RT

  • 参考6篇文章[sw30491]
  • 接口过程作为摘要 数据 类型代表共享信息。根据RT-ASLAN规范,性能。。。
  • 拉克维特

  • 引用4篇文章[sw08939]
  • Lackwit:一个基于类型推断。通过静态地确定结构的位置。。。共同的表象,我们可以识别摘要 数据 类型,检测抽象违规,找到未使用的变量,函数。。。领域数据结构,检测操作中的简单错误摘要数据类型和定位站点。。。价值观。我们计算表示共享类型推理,使用类型对表示进行编码。方法。。。
  • 肋骨

  • 引用5篇文章[sw09877]
  • 可执行:一种功能性的子语言摘要 数据 类型用于指定内部、顺序。。。
  • DTRE公司

  • 引用3篇文章[sw22672]
  • 使用上的操作细化规范摘要 数据 类型. 这个系统是半自动的。。。确定其余的实现。数据 类型被指定为参数化理论在许多。。。这些理论的中心是归纳法。摘要规范(理论)是逐步完善的。。。
  • 泄漏

  • 引用3篇文章[sw09494]
  • 用理论精确地指定。摘要 数据 类型,多重继承,复杂对象,重载和动态绑定。。。
  • 拉达

  • 引用4篇文章【sw20732】
  • 代数推理工具数据 类型具有摘要. 我们现在展示的是RADA,一个便携的,可扩展的。。。关于包含代数的公式的推理工具数据 类型使用变形(折叠)函数。。。
  • BGL公司

  • 引用了60篇文章[sw17557]
  • 解决许多问题类型计算机科学中的问题。因此,这些摘要还必须代表。。。鼓励重用图形算法和数据结构。Boost图形库的一部分。。。
  • 电车

  • 引用2篇文章[sw03369]
  • 建模和指定方法摘要 数据 类型自从他们。。。快速成型工具。有轨电车是摘要条件重写机器排序顺序。。。
  • 洛伊

  • 引用2篇文章[sw29143]
  • 行为表达式,LOTOS的翻译器摘要 数据 类型对一组LISP的操作。。。