---

rec-comb-loc-program(F;B;Ps) ==
  <B
  , mk_fpf(union-list2(IdDeq;map(prg.fpf-domain(eclass-program-flows(prg));
                                 Ps));
           x.feedback-df-program(B;F x;{};
                  x.0 <z bag-size(x);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),  feedback-df-program: feedback-df-program(B;F;buf;P;dfps),  mk_fpf: mk_fpf(L;f),  fpf-cap: f(x)?z,  fpf-domain: fpf-domain(f),  id-deq: IdDeq,  map: map(f;as),  lt_int: i <z j,  apply: f a,  lambda: x.A[x],  pair: <a, b>,  natural_number: $n,  union-list2: union-list2(eq;ll),  bag-size: bag-size(bs),  empty-bag: {}
Definitions :  pair: <a, b>,  mk_fpf: mk_fpf(L;f),  union-list2: union-list2(eq;ll),  fpf-domain: fpf-domain(f),  feedback-df-program: feedback-df-program(B;F;buf;P;dfps),  apply: f a,  empty-bag: {},  lt_int: i <z j,  natural_number: $n,  bag-size: bag-size(bs),  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 :  rec-comb-loc-program

---

rec-comb-loc-program(F;B;Ps)  ==
    <B
    ,  mk\_fpf(union-list2(IdDeq;map(\mlambda{}prg.fpf-domain(eclass-program-flows(prg));Ps));
                      \mlambda{}x.feedback-df-program(B;F  x;\{\};
                                    \mlambda{}x.0  <z  bag-size(x);map(\mlambda{}P.eclass-program-flows(P)(x)
                                                                                                                                        ?null-df-program(...);Ps)))
    >


Date html generated: 2011_08_16-PM-06_26_20
Last ObjectModification: 2011_04_18-PM-02_56_07

Home Index