Tools for automatic differentiation of Fortran code.

Primarily static analysis -- detect nonstandard Fortran code and possible logic errors such as the use of unitialized variables or unreachable code.

Translation of Fortran code to another language, or vice versa.