<> :: (top_level) // top level task, single instance
{
<> :: [ data_type p ] ; // no domain for scalar variable
// data A [ p ] [ p] [ p+1 ]
[ p ] ->  <A_dom : a0,a1,a2> {0<=a0<p; 0<=a1<p; 0<=a2<p+1;};
<A_dom > :: [ array_A ] ;
// task seqCholesky
[ p ] -> < task1_dom:k>{0<=k<p;};
<task1_dom > :: (task1) {body_id(“seqCholesky”);};
[ A k , k , k ] -> (task1:k) - > [ A k , k , k + 1 ] ;
//task TriSolve
[ p ] ->  <task2_dom : k,j>{0 < = k<p; k+1 < = j<p;};
<task2_dom > :: (task2) {body_id(“TriSolve”);};
// task Update
[ p ] ->  <task3_dom:k,j,i > { 0 < = k<p; k+1 < = j<p; k+1 < = i < = j;};
<task3_dom > :: (task3) {body_id(“Update”);};
[ A j , k , k + 1 ] , [ A i , k , k + 1 ] -> (task3 : k,j,i) -> [ A j , i , k + 1 ] ;
//dependence
(task2 : k,j) -> (task3 : k,j,(k+1)..j)
} ;
Listing 15: Textual TLDM specification of tiled Cholesky.