Vectorization of Computer Programs with Applications to Computational Fluid Dynamics