---

simple-loc-comb-program(F;B;Ps) ==
  <B
  , mk_fpf(union-list2(IdDeq;map(prg.fpf-domain(eclass-program-flows(prg));
                                 Ps));
           x.parallel-df-program(B;F x;
              map(P.eclass-program-flows(P)(x)
                                            ?null-df-program(...);Ps)))
  >

---

Definitions occuring in Statement :  eclass-program-flows: eclass-program-flows(p),  eclass-program-type: eclass-program-type(prg),  null-df-program: null-df-program(B),  parallel-df-program: parallel-df-program(B;F;dfps),  mk_fpf: mk_fpf(L;f),  fpf-cap: f(x)?z,  fpf-domain: fpf-domain(f),  id-deq: IdDeq,  map: map(f;as),  apply: f a,  lambda: x.A[x],  pair: <a, b>,  union-list2: union-list2(eq;ll)
Definitions :  pair: <a, b>,  mk_fpf: mk_fpf(L;f),  union-list2: union-list2(eq;ll),  fpf-domain: fpf-domain(f),  parallel-df-program: parallel-df-program(B;F;dfps),  apply: f a,  map: map(f;as),  lambda: x.A[x],  fpf-cap: f(x)?z,  eclass-program-flows: eclass-program-flows(p),  id-deq: IdDeq,  null-df-program: null-df-program(B),  eclass-program-type: eclass-program-type(prg)
FDL editor aliases :  simple-loc-comb-program

---

simple-loc-comb-program(F;B;Ps)  ==
    <B
    ,  mk\_fpf(union-list2(IdDeq;map(\mlambda{}prg.fpf-domain(eclass-program-flows(prg));Ps));
                      \mlambda{}x.parallel-df-program(B;F  x;
                            map(\mlambda{}P.eclass-program-flows(P)(x)?null-df-program(eclass-program-type(P));Ps)))
    >


Date html generated: 2011_08_16-PM-06_23_56
Last ObjectModification: 2011_04_18-PM-12_33_47

Home Index