input_data_list -
>
(task_name : iterator_vector) -> output_data_list;
e.g.
// A
[
i
]
[
j
]
, B
[
i
]
[
j
]
-> task1<i,j> -> C
[
j
]
[
i
]
[
A : i, j
]
,
[
B : i, j
]
-> (task1 : i, j) -
>
[
C : i, j
]
//A
[
i
]
[
0
]
,
…
,A
[
i
]
[
N
]
-> task2<i> -> B
[
2
∗
i
+
1
]
[
A : i, 0..N
]
-> (task1 : i) ->
[
B :
2
∗
i
+
1
]
Listing 10