---

seq-dataflow(P;Q) ==
  rec-dataflow(<P, Q>;s,a.let P,Q = s in
                            let P',b = P(a) in
                              let Q',c = Q(b) in
                                <<P', Q'>, c>)

---

Definitions :  rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),  spread: spread def,  dataflow-ap: df(a),  pair: <a, b>
FDL editor aliases :  seq-dataflow

---

seq-dataflow(P;Q)  ==
    rec-dataflow(<P,  Q>s,a.let  P,Q  =  s  in
                                                        let  P',b  =  P(a)  in
                                                            let  Q',c  =  Q(b)  in
                                                                <<P',  Q'>,  c>)


Date html generated: 2010_08_27-AM-12_16_31
Last ObjectModification: 2010_02_05-PM-02_08_24

Home Index