XL Fortran for Linux：面向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.

youdao

XL Fortran for AIX：面向 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.

youdao

这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。

These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.

youdao