• 名义伊莎贝尔

  • 引用67篇文章[sw12055]
  • 总则绑定在《伊莎贝尔》中的α等价性。名义伊莎贝尔是一个定义的延伸。。。关于涉及命名界的程序设计语言计算变量(与德布鲁因指数相反。。。一般处理绑定,这意味着术语构造函数变量立刻被捆绑。。。这样的将军绑定在编程语言研究中是普遍存在的,只有很少的支持。。。
  • xpath日志

  • 参考7篇文章[sw15782]
  • 逻辑扩展了XPath语言变量 绑定并嵌入到一阶逻辑中。。。
  • 帕洛格

  • 在39篇文章中引用[sw23764号]
  • 共享变量作为沟通的部分通道绑定. 只是。。。
  • 英根

  • 引用5篇文章[sw10111]
  • 与关联的操作数变量 结合并列出了一些名为“基础设施。。。
  • 忒修斯

  • 引用8篇文章[sw19037]
  • π的自由组合子。忒修斯有变量结合形式,代数数据类型,函数定义。。。
  • Gmeta标准

  • 引用3篇文章[sw10110]
  • 一阶表示框架变量 结合它提供了一次和所有的许多。。。
  • 新鲜的

  • 引用49篇文章[sw08992]
  • 操作涉及静态范围的语法数据结合操作。涉及新声明的ML用户绑定的数据类型。。。通过匹配模式命名边界解构变量明确地。这可能有计算效果。。。
  • MLOG

  • 引用2篇文章[sw02152]
  • ML的逻辑保守扩张变量. 为了验证我们的概念,一个名为CAML的编译器。。。为λ-微积分保留绑定统一。。。在逻辑上引入了原语变量 绑定. 悬浮机制允许模式的同居。。。
  • 拖把箱

  • 1条引用[sw33222]
  • 参数化,即可以包含变量 绑定那个绑定抽象规范变量具体的程序值。。。监视器达到的错误状态结合v=o,MOPBox通知客户。。。回调接口。地图变量 绑定对于监视器,MOPBox使用高效。。。尽可能通用。状态、转换和变量 绑定不仅可以用字符串来标记。。。
  • 雅克

  • 引用2篇文章[sw17046]
  • YAKKER还包括(3)设施结合 变量中间解析结果和(4)使用。。。
  • 动态

  • 引用13篇文章[sw09692]
  • 变量以及应该在其上进行动态编译的代码结合-时间分析计算。。。结合-时间分析和运行时专用程序是开放的。。。缺乏全球静态支持变量. 这个缺陷和DyC的初步支持。。。
  • 贝德维尔

  • 引用了20篇文章[sw09460]
  • 直接检查可能包含绑定. 这个系统,用OCaml编写。。。允许直接对包含边界的表达式进行推理变量...
  • XASP公司

  • 引用5篇文章[sw13876]
  • 变量同时也通过稳定的模型产生了各种各样的绑定...
  • 奥克宾

  • 参考第4条[sw23376]
  • 时不时地解决动态模型结合限制。我们的例子包括一个真实的企业。。。具有大量状态的模型变量...
  • XDress公司

  • 1条引用[sw21385]
  • 生成Python绑定(通过Cython)为C++类、函数和某些变量类型。还有。。。地图)。将来,其他工具和绑定将得到支持。主要的启用功能。。。
  • RGCC平移单元

  • 引用5篇文章[sw06077]
  • 为除去全局变量(引导线程安全),并且通常收集数据。。。元数据,并支持生成绑定对于大多数普通人来说。。。
  • 生物优化器

  • 参考6篇文章[sw17421]
  • 基因表达。TFs的实验测定结合网站既昂贵又耗时。很多。。。母题宽度和两块母题变量-长度间隙。一种叫做生物优化器的算法。。。
  • PhyloGibbs公司

  • 引用2篇文章[sw09376]
  • 寻找主题的动机,代表候选人结合转录因子的位点,在近缘物种中。。。搜索“二聚体”(一对带有变量间隔),和一个“跟踪”策略,允许。。。
  • OptimPack公司

  • 1条引用[sw26295]
  • 例程使用反向通信:所有本地变量所需的优化例程被保存到。。。用于不同语言的via绑定到C,IDL和Yorick:IDL包含的子目录。。。
  • 水电站

  • 引用3篇文章[sw14705]
  • 氢化物:将极性溶剂与变量高分子静电之泊松-玻尔兹曼处理之密度。。。同二聚体蛋白质或脂类中的二聚界面结合膜蛋白中的区域。网站。。。