FATCAT (Fortran Advanced Technology Code Analysis Tool) is a software tool designed to aid the programmer in maintaining, modifying, and enhancing substantial production programs (a thousand to over a million lines long). FATCAT is also extremely useful in aiding the programmer in parallelizing Fortran code. FATCAT analyzes sequential code written in ANSI Fortran '77. It also 'understands' Cray Fortran (CFT) extensions, such as recursion and pointer variables. Like some cross-reference-table producing tools, FATCAT also understands the effects on variable usage of COMMON and EQUIVALENCE statements. Unlike most such tools, however, it also accounts for the effects of SUBROUTINE and FUNCTION calls, including recursive calls, of array subscripting, and of dereferencing CFT-style pointer variables.>

Refined Languages (Refined Fortran, Refined C, etc.) are extensions of their parent languages in which it is possible to express parallelism, but impossible to create races or deadlocks. Where strictly deterministic behavior is desired, multiple executions of a Refined Fortran program with the same input data can be guaranteed to either compute the same results or terminate with the same run-time errors regardless of differences in scheduling. Where asynchronous behavior is desired, freedom from races can be guaranteed. The Refined Languages approach achieves its goal by extending sequential imperative programming languages with data- (rather than control-) oriented constructs, and by viewing the expression of parallelism in data- (rather than control-) oriented terms. Earlier versions of Refined Fortran are discussed in [1]-[2]; the present work supersedes and extends work reported in these earlier publications.