• 为什么

  • 引用24篇文章[sw09709]
  • 可理解,WhyML对别名这就避免了记忆的使用。。。
  • 斯莫莱菲尔

  • 引用9篇文章【sw13732】
  • 应付混叠在gnueiffel编译器实现中。本文报告了我们在。。。混叠在SmallEiffel的实现中,gnueiffel编译器。SmallEiffel编译器源代码。。。充分利用混叠为了达到很好的性能。我们解释。。。混叠可以以更安全的方式处理,以及合同设计有多大帮助。。。
  • VeriCool公司

  • 在10篇文章中引用[sw09749]
  • 面向对象程序很难,因为混叠,动态绑定和对数据的需要。。。
  • 基林

  • 参考7篇文章[sw20229号]
  • 可变消息-它们不能有内部别名只能拥有。。。
  • 复数

  • 参考第2条【sw13787】
  • 复数:检查协议符合性混叠. 强制遵守API使用协议是出了名的困难。。。可能的混叠通过多个引用的对象。在以前的工作中,我们提出了一个健全的,模块化的。。。混叠. 在我们的方法中,API协议被定义。。。可能的“程度”适当保守混叠经许可承认。本文描述了。。。
  • 拉卡萨

  • 参考第2条[sw34853]
  • Scala中的轻量级关联和对象功能。混叠是一个已知的挑战来源。。。铅字系统的重要进展混叠控制。然而,他们的大规模采用已经变成。。。它们不能满足混叠控件(使用现有语言)。本文介绍。。。采用类型系统扩展混叠控制。首先,现有代码的修改只需要。。。
  • 拉克维特

  • 引用4篇文章[sw08939]
  • 高效、全自动、平滑集成指针混叠以及高阶函数。我们展示。。。
  • 中音

  • 引用4篇文章[sw14204]
  • 强调控制混叠以及对可变内存的访问。平衡。。。
  • 慈白

  • 引用4篇文章[sw26821]
  • 底层抽象域,一个混叠分析和八角形。我们讨论一些实现。。。
  • 应4

  • 引用3篇文章[sw00007]
  • 克服增长的计划混叠由于该方法精度较高。第三级。。。
  • SAR成像

  • 引用3篇文章【sw20495】
  • 适当的成像网格混叠. 通过使用反投影生成的SAR图像示例。。。
  • 镊子

  • 参考第2条[sw00987]
  • 检测系统(可选)。全面核算混叠由有限采样率引起(可选)。标准。。。
  • 阿里夫

  • 参考第2条[sw26214]
  • 数据结构的设置,包括混叠,以及数据流反转。。。
  • 革命工作室

  • 1条引用[sw07895]
  • alpha通道,然后转换并保存。反-混叠图形引擎。革命的矢量图形演示。。。层现在是反的-别名. 多监视器支持。革命解决方案现在可以建立。。。
  • 结壳

  • 1条引用[sw34343]
  • 内存安全并保存关键指针混叠不变量。不安全代码出现在许多数据中。。。也违反了铁锈的指针混叠不安全库代码中的不变量。外壳需要。。。
  • 罗莎

  • 1条引用[sw02381]
  • 属性,如达到定义、活动变量,别名变量和变量类型。这些推断。。。
  • 帮手

  • 1条引用[sw24618]
  • 文档。与其他软件包的链接,功能别名,以及函数源,查找信息。。。
  • JVer公司

  • 1条引用[sw25426]
  • 听起来不错,因为它对混叠以及堆修改;(3)产生验证。。。