---

eval-parallel-dataflow(n;s;m) ==
  let Ps,es = primrec(n;<, >;i,x.
                                let Ps,es = x 
                                in let P,e = s (n - i + 1) m 
                                   in if (i = 0)
                                      then <P, e>
                                      else <<P, Ps>, e, es>
                                      fi ) 
  in <k.Ps.k, k.es.k>

---

Definitions occuring in Statement :  eq_int: (i = j),  ifthenelse: if b then t else f fi ,  it: ,  apply: f a,  lambda: x.A[x],  spread: spread def,  pair: <a, b>,  subtract: n - m,  add: n + m,  natural_number: $n,  primrec: primrec(n;b;c)
Definitions :  primrec: primrec(n;b;c),  it: ,  spread: spread def,  apply: f a,  subtract: n - m,  add: n + m,  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  natural_number: $n,  pair: <a, b>,  lambda: x.A[x],  select-tuple: Error :select-tuple
FDL editor aliases :  eval-parallel-dataflow

---

eval-parallel-dataflow(n;s;m)  ==
    let  Ps,es  =  primrec(n;<\mcdot{},  \mcdot{}>\mlambda{}i,x.
                                                                let  Ps,es  =  x 
                                                                in  let  P,e  =  s  (n  -  i  +  1)  m 
                                                                      in  if  (i  =\msubz{}  0)  then  <P,  e>  else  <<P,  Ps>,  e,  es>  fi  ) 
    in  <\mlambda{}k.Ps.k,  \mlambda{}k.es.k>


Date html generated: 2011_08_10-AM-08_15_13
Last ObjectModification: 2011_05_03-PM-05_43_48

Home Index