Omega test
The Omega test is a system written by William Pugh
<pugh@cs.umd.edu> 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.
ftp://ftp.cs.umd.edu/pub/omega. E-mail: <omega@cs.umd.edu>.
(1992-11-13)
Nearby terms:
OMA « Omega « Omega-algebraic « Omega test »
OMF » OMG » OMNICODE
|