Automatic Programming, Numerical Methods and Functional Analysis