Project at a Glance: Overview of Workplan

• Workpackage 1: Tools for Improving Parallel Execution
  • Design of a Common Abstract Syntax for CIAO-Type Languages [ECRC, UPM]

  • Parallelization:
    • Parallelization Tools for CIAO-Type Languages [UPM]
    • Analysis Using Modeling of Control [Pisa]
    • Partial Evaluation for Improving Parallel Execution of CIAO-Type Languages [ECRC]

  • Sequentialization (schedule / granularity analysis and control):
    • Sequentialization (granularity control) of CIAO-Type Languages [UPM]
    • Schedule Analysis for Concurrent Logic Languages [Soton]
    • Granularity Analysis for Concurrent Logic Languages and Implications for CIAO-type Languages [Soton]
    • Producer-Consumer Analysis for Concurrent Logic Languages [Soton]
    • Analysis of Suspension-Free Concurrent Logic Programs [Pisa]
    • Suspension Analysis for Concurrent Logic languages [Pisa]
    • Compositional Analysis of Suspension and Deadlock in Concurrent Logic Programs [Pisa]
    • Partial Evaluation for AKL [SICS]
    • Analysis for Improving Storage Management and Parallel Execution of AKL [SICS]