• 息肉

  • 31篇参考文献[SW09131]
  • 编写多类型函数。扩展语言类型检查定义多类型函数,推断…
  • 多聚酰胺

  • 22篇参考文献[SW14205]
  • 可证明的语言类型-安全。通过分离定义子类型和继承,提供…基于谨慎的形式定义属于类型-检查规则和语义。证明…
  • JCLAC

  • 16篇参考文献[SW0896]
  • 模块:核心包含所有抽象类型 定义以及它们的实现;实验跑者…
  • 苏杜

  • 53篇参考文献[SW12436]
  • 类型(所谓正则表达式)类型直接对应于文档模式。XDUCE还提供…完全正式定义它的核心,连同一个证据类型安全
  • 转移

  • 25篇参考文献[SW21009]
  • 关于抽象的定理类型但他们想写定义并证明…
  • 举起

  • 25篇参考文献[SW21010]
  • 关于抽象的定理类型但他们想写定义并证明…
  • DSPIN

  • 31篇参考文献[SW0988]
  • 像指针这样的构造类型变量、内存分配语句、函数定义和调用。这样的构造…
  • 特修斯

  • 8篇参考文献[SW19337 ]
  • 变量和绑定形式代数数据类型功能定义通过模式匹配,并且是图灵…
  • 总氮

  • 123篇参考文献[SW05140]
  • 牛顿-类型通过Lanczos方法的最小化,本文讨论了线性的使用。不一定有积极性的问题一定的海森矩阵这个推导也使…由非线性共轭梯度定义的方向类型方法和修正的牛顿方向。数字的。。。
  • IDP3

  • 7篇参考文献[ SW229 441 ]
  • 支持丰富的一阶逻辑类型归纳的定义聚集函数和部分函数。它提供…
  • 马尔基兹

  • 4篇参考文献[SW02510]
  • 语言是非常规的。定义对象的类型可以同时使用…文中给出的语法规则定义属于类型. 在编译器的情况下…
  • 透析器

  • 3篇参考文献[SW22060]
  • 标识软件差异,例如一定的 类型错误,代码已经死了…
  • I-立方

  • 3篇参考文献[SW01260]
  • 符合特定文件的文件类型 定义以及其他完全可定制的结构约束…
  • 复制品

  • 9篇参考文献[SW13304]
  • 图书馆也支持定义由参数化定义的操作类型
  • 拉姆

  • 2篇参考文献[SW1991]
  • 反射镜都是由文件合成的。类型 定义(DTDs)镜子里的每一个元素…
  • 劳拉

  • 2篇参考文献[SW26816]
  • 类型操作,例如变量类型 定义编译优化…
  • 要塞

  • 16篇参考文献[SW13026]
  • 有表现力的类型系统、隐式、丰富并行性与工作窃取、可扩展性管理定义通过图书馆…