• 可口可乐

  • 在1776篇文章中引用[sw00161]
  • 编程语言语义(例如CompCert编译程序认证项目或Java卡EAL7认证。。。
  • 库达

  • 参考1169篇文章[sw03258]
  • 加速应用。CUDA工具箱包括编译程序对于NVIDIA GPU、数学库和工具。。。
  • 毫升

  • 引用512篇文章[sw01218]
  • 其他形式语言,如in编译程序写作,自动定理证明和形式验证。(维基百科。。。
  • 尾端

  • 引用了455篇文章[sw04704]
  • 使用自由Pascal编码为Pascal编译程序...
  • 米诺斯

  • 在440篇文章中引用[sw05095]
  • 使用Fortran 66或77的计算机编译程序至少有500K字节的存储。。。
  • 泡沫

  • 引用380篇文章[sw04317]
  • 数值方法、网格划分、物理模型等编译进入他们自己的共享库。可执行应用程序。。。
  • OCaml公司

  • 引用了271篇文章[sw06363号]
  • 语言,具有高性能的本机代码编译程序(ocamlopt)用于9个处理器体系结构(IA32、PowerPC。。。以及字节码编译程序(ocamlc)和交互式阅读评估打印。。。
  • 涡轮帕斯卡

  • 参考文献363篇[sw16451]
  • 包括系统开发的软件编译程序以及一个集成的开发环境。。。
  • PVM公司

  • 引用305篇文章[sw04273]
  • 可通过netlib免费获得编译从笔记本电脑到CRAYs。PVM支持。。。
  • CSDP公司

  • 引用196篇文章[sw00169]
  • 约束矩阵。CSDP已经编译在许多不同的系统上。代码应该可以工作。。。ANSI C系统编译程序以及BLAS/LAPACK库。。。
  • FEAP公司

  • 在169篇文章中引用[sw04963]
  • 完整程序可用于汇编使用Windows(Compaq或Intel编译器),LINUX或UNIX。。。
  • COBOL公司

  • 在227篇文章中引用[sw01228]
  • 以商务为导向编译像英语一样的计算机程序设计语言。。。
  • 埃斯特雷尔

  • 引用162篇[sw20012]
  • 专门为反应式系统编程,以及编译程序它将Esterel程序转换成有限状态。。。系统和控制自动机。Esterel v5编译程序可以用来生成一个软件。。。
  • MPT公司

  • 参考文献212篇[sw04732]
  • 工具箱提供了广泛的算法编译以一个用户友好和可访问的格式。。。
  • GHC公司

  • 在102篇文章中引用[SW691号文件]
  • 格拉斯哥的秘密编译程序内线。像Haskell这样的高阶语言鼓励。。。通过组合函数来构建抽象。好的编译程序必须内联许多这样的调用。。。它身体的实例。但是任何一个编译程序-作家会告诉你倾向。。。在格拉斯哥哈斯克尔使用编译程序. 我们主要关注算法方面。。。
  • 力学

  • 参考171篇文章[sw09100]
  • 除非有人投资额外的C编译程序,不能插入新的方程式。。。
  • 公理

  • 参考170篇文章[sw00063]
  • 程序设计语言和一个内置的编译程序...
  • 规格#

  • 引用120篇文章[sw04598]
  • 面向对象规范编程语言#编译程序和布吉静态程序验证程序。。。数据将被使用编译程序发出运行时检查以强制执行这些规范。。。