next up previous
Next: Project Overview and Rationale

PARallel FORmal Computing Environment (ESPRIT Basic Research)
EATCS 1994 Report

Abstract: ParForCE is aimed at constructing (and evaluating the use of) formal tools for the development of parallel programs and their efficient execution. To this end the emerging techniques for formal program analysis and manipulation are applied to central issues relating to parallel execution such as dependency and granularity analysis or memory management. Tools based on these techniques are built to aid in the formal development of parallel logic programs. These tools are then integrated with parallel execution platforms and their effectiveness assessed.

<> Last Modified: Fri May 9 18:15:03 MET DST 1997