---

map-dataflow(P;b.f[b]) ==  rec-dataflow(P;s,a.let P',b = s(a) in <P', f[b]>)

---

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

---

map-dataflow(P;b.f[b])  ==    rec-dataflow(P;s,a.let  P',b  =  s(a)  in  <P',  f[b]>)


Date html generated: 2011_08_10-AM-08_16_58
Last ObjectModification: 2010_12_31-PM-12_44_56

Home Index