ESPRIT Basic Research Project 6707 ParForCE
``Parallel Formal Computing Environment''
Technology Transfer Workshop and Final Review

Parallelization/Sequentialization/
Granularity analysis and control

UPM, Madrid - The CLIP Group

Madrid, January 15-16, 1996

• Overview
• &-Prolog / Ciao-Prolog Compiler Overview
• Progress Summary: Previous Periods
• Period Progress on Parallelization
• Parallelization Based on Strict Independence
• Parallelization Based on Non-Strict Independence
• Annotation Process for Non-Strict Independence
• Parallelization Improvement with Non-Strict Indep.
• Parallelization Based on Non-Strict Independence
• Optimizations based on Analysis Information (I)
• Program Simplification: Example
• Multiple Specialization: Example
• Optimizations based on Analysis Information (II)