XLFortran forLinux：面向Linux系统的科学技术和工程领域编译器的最佳选择，支持广泛的数学、科学及高性能计算。
XL Fortran for Linux: for Linux distributions, the compiler of choice for the scientific and engineering communities to support extensive numerical, scientific and high-performance computing.
XLFortran forAIX：面向 AIX 系统的科学技术和工程领域编译器的最佳选择，支持广泛的数学、科学及高性能计算。
XL Fortran for AIX: For AIX systems, the compiler of choice for the scientific and engineering communities to support extensive numerical, scientific and high-performance computing.
这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
应用推荐