Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Omega test

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


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

©2018 Martin Webb