---

feedback-dataflow(ds;
                  F;s;x.P[x]) ==
  rec-dataflow(<ds, s>;s,a.let ds,buf = s in
                             let x = F (k.dataflow-out(ds k;a)) buf in
                                 <<k.(fst(ds k(a)))
                                  , if P[x] then x else buf fi 
                                  >
                                 , x
                                 >)

---

Definitions :  rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),  spread: spread def,  let: let,  dataflow-out: dataflow-out(df;a),  pair: <a, b>,  lambda: x.A[x],  pi1: fst(t),  dataflow-ap: df(a),  apply: f a,  ifthenelse: if b then t else f fi 
FDL editor aliases :  feedback-dataflow

---

feedback-dataflow(ds;
                                    F;s;x.P[x])  ==
    rec-dataflow(<ds,  s>s,a.let  ds,buf  =  s  in
                                                          let  x  =  F  (\mlambda{}k.dataflow-out(ds  k;a))  buf  in
                                                                  <<\mlambda{}k.(fst(ds  k(a))),  if  P[x]  then  x  else  buf  fi  >,  x>)


Date html generated: 2010_08_27-AM-12_17_46
Last ObjectModification: 2010_02_10-PM-09_45_37

Home Index