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

Tutorial:
Distributed execution in

Manuel Hermenegildo (UPM) / CLIP Group

Madrid, January 15-16, 1996

• The CIAO System
• The CIAO Compiler
• Compiler Issues: Transformations/Optimizations
• Some Basic Control-Related Operators
• Example
• Example
• Example
• Example
• Example
• Example
• Active Modules / Active Objects
• Example
• Demo Outline
• Webchat Process Structure
• CIAO WebChat