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>.

Last updated: 1992-11-13

Try this search on Wikipedia, OneLook, Google

Nearby terms:

OMA « Omega « Omega-algebraic « Omega test » OMF » OMG » OMNICODE

Loading