Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Omega test
Jump to user comments
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.