PMAC: an environment for parallel programming

Presents a parallel programming environment called PMACS. The central structure of this environment is the Parametrized Dependence Graph that gives a very precise representation of dependencies. It also facilitates the recompilation of dependencies whenever the user is requested to introduce information about the program. A unique framework for the interprocedural constant propagation and the interprocedural side-effect analysis, based on symbolic evaluation, is used. A powerful tool for displaying graphs has also been carried out. It allows the user to understand the detected inherent parallelism of his program. A first release of PMACS written in C is already implemented