• 名义伊莎贝尔

  • 65篇参考文献[SW120 55 ]
  • 综合封面标称伊莎贝尔中的α等价。名义伊莎贝尔是一个定义的扩展…关于涉及命名界的程序设计语言变量(与de Bruijn指数相反)处理一般事务封面这意味着多个术语构造函数。变量立即绑定…这样一般封面在编程语言研究中无处不在,只支持非常差的…
  • XPATROLG

  • 7篇参考文献[SW15782]
  • 逻辑扩展XPath语言变量 封面并将其嵌入一阶逻辑…
  • 伦根

  • 4篇参考文献[SW10111]
  • 与操作相关联的操作数变量 封面并列出了一些属性,称为“基础设施…
  • 特修斯

  • 6篇参考文献[SW19337 ]
  • PI的自由组合器。特修斯有变量封面表单、代数数据类型、函数定义…
  • 毫巴

  • 2篇参考文献[SW02152]
  • 逻辑的ML扩展保守性变量. 为了验证我们的概念,一个名为CAML的编译器…保持α-演算封面一个统一…为逻辑引入基元变量 封面. 悬挂机制允许模式同居…
  • 新鲜的

  • 47篇参考文献[SW08992]
  • 操作静态范围的语法数据封面运营用户声明包含绑定器的新鲜数据类型…与模式命名绑定匹配解构变量明确地。这可能具有计算效果。
  • 雅克

  • 2篇参考文献[SW17046]
  • 雅克还包括(3)设施封面 变量中间解析结果和(4)使用…
  • GMETA

  • 2篇参考文献[SW10110]
  • 一阶表示框架变量 封面这一劳永逸地提供了许多…
  • DYC

  • 13篇参考文献[SW09692]
  • 变量以及动态编译应该发生的代码封面时间分析计算…成本/效益权衡封面-时间分析和运行时专门化器是开放的…缺乏对静态全局的支持变量. 这种不足和DyC的根本支持…
  • 贝德维尔

  • 19篇参考文献[SW09460]
  • 直接检查可能包含的句法表达式封面. 这个系统是用OcAML编写的…直接对包含绑定的表达式进行推理变量
  • 奥克宾

  • 4篇参考文献[SW23 76]
  • 动态求解动态模型的方法封面约束条件。我们的例子包括一个真实的生意…具有大量状态的模型变量
  • XASP

  • 3篇参考文献[SW13876]
  • 变量Q,但也通过为各种生产的稳定模型封面
  • 西装

  • 1篇参考文献[SW21385 ]
  • 生成Python封面(通过Cython)用于C++类、函数和某些变量类型它也…地图)。在未来,其他工具和封面将得到支持。主要启用功能…
  • 转换单元

  • 5篇参考文献[SW06077 ]
  • 取消全球保理业务变量(引导线程安全),并且通常收集数据…元数据,并支持生成封面对于大多数常见的…
  • 生物优化器

  • 6篇参考文献[SW17421]
  • 基因表达TFS的实验测定封面网站是昂贵和费时的。许多…主题宽度与两个区块图案变量长度差距。一种称为生物优化器的算法…
  • 植物群落

  • 2篇参考文献[SW0936]
  • 寻找主题的动机,代表候选人封面转录因子的位点,在密切相关的物种…搜索“二聚体”(对)变量间距)和“跟踪”策略允许…
  • 优化包

  • 1篇参考文献[SW2695]
  • 例程使用反向通信:所有本地变量优化例程需要保存到…在不同语言中使用封面到C、IDL和YILIC:子目录IDL包含…
  • 二氢吡啶

  • 3篇参考文献[SW14705]
  • 加氢偶极溶剂变量Poisson -玻尔兹曼处理高分子静电的密度同源二聚体蛋白质或脂质中的二聚化界面封面膜蛋白的区域。网站…
  • 平鲁

  • 1篇参考文献[SW25082]
  • 真实场景,预测挑战是变量容易产生高误报…应用预测配体的研究封面残差信息作为后处理滤波器…