Omega test

The Omega test is a system written by William Pugh and others for performing symbolic manipulations of conjunctions of linear constraints over integer variables. The Omega test dependence analyser is a system built on top of the Omega test to analyse array data dependences. Version 3.2.2 includes a fortran to tiny translator, a Tiny interpreter and analysis tools.

Free Online Dictionary of Computing