You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL