tool: Omega test, Extended Tiny
-
Language:
|
Tiny
|
|---|
-
Version:
|
3.2.2
|
|---|
-
Parts:
|
translator(fortran->tiny), tiny interpreter?, analysis tools
|
|---|
-
Author:
|
William Pugh <pugh@cs.umd.edu> and others
|
|---|
-
Location:
|
ftp://ftp.cs.umd.edu/pub/omega
|
|---|
-
Description:
|
The Omega test is implemented in an extended version of
Michael Wolfe's tiny tool, a research/educational tool
for examining array data dependence algorithms and
program transformations for scientific computations.
The extended version of tiny can be used as a
educational or research tool. The Omega test: A system
for performing symbolic manipulations of conjunctions
of linear constraints over integer variables. The
Omega test dependence analyzer: A system built on top
of the Omega test to analyze array data dependences.
|
|---|
-
Contact:
|
omega@cs.umd.edu
|
|---|
-
Updated:
|
November 13th, 1992
|
|---|
category: special purpose languages
summary, or
expanded.
|
|