Specialization of Numerical Programs with the FSpec System

We investigate the partial evaluation of numerical programs. Results for numerical algorithms from different subject areas are presented: linear equation solving by Gaussian elimination, polynomial approximation using the telescope algorithm, and numerical integration using the trapezoid rule. The results vary depending on the structure and specific use of the numerical algorithms. Some applications show high speedups, others only moderate improvements. All programs are written in Fortran 77, specialized using our Fortran specializer, and compiled using a commercial Fortran compiler.