PARallel FORmal Computing Environment (ESPRIT Basic Research)
EATCS 1995 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.

 
• Project Overview and Rationale
  • Objectives
  • Approach and Methods
  • Potential
  • Brief Summary of Progress and Results
• Baseline
  • Parallel Logic Programming Platforms
  • Program Analysis
  • Program Transformation
  • Other technologies
• Project Organization and Work Plan
  • Workpackage 1: Tools for Improving Parallel Execution
  • Workpackage 2: Integration and Assessment of Effectiveness
  • Workpackage 3: Working Group On Parallel Program Development
  • Workpackage 4: Project Management and Coordination
• Achievements and Misses
  • Integration and Assessment
  • Parallelization Tools
  • Sequentialization Tools
  • Analysis of Concurrent Logic Programs
  • Program Development
• Collaboration and Information Dissemination
  • More detailed dissemination activities
• References