<iterator_domain0 > :: (task_name)
{
<data_domain > :: [ type local_data_item ] ;
<iterator_domain1> :: (sub_task_name1)
{
 // leaf node
 body_id(task_id1);
};
<iterator_domain2 > :: (sub_task_name2)
{
 // leaf node
 body_id(task_id2);
};
// access and dependence specification
};
Listing 12