---

simple-comb-program-strict(F;B;Ps) ==
  <B
  , mk_fpf(union-list2(IdDeq;map(prg.fpf-domain(eclass-program-flows(prg));
                                 Ps));
           x.parallel-df-program-case2(B;F;map(P.eclass-program-flows(P)(x)
                                                                          ?...;
                                                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-case2: parallel-df-program-case2(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),  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-case2: parallel-df-program-case2(B;F;dfps),  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-comb-program-strict

---

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


Date html generated: 2011_08_16-PM-06_22_15
Last ObjectModification: 2011_06_11-PM-07_27_20

Home Index