parallel-df-program-case2(B;F;dfps) ==
let n := ||dfps|| in
let ns 
upto(n)
in (
t.(F (k.t.k)))
|dfps|
halt: x.(
i
ns.
isl(x.i))_b
Definitions occuring in Statement :
parallel-df-prog: parallel-df-prog,
length: ||as||,
isl: isl(x),
bnot: b,
apply: f a,
lambda: x.A[x],
select-tuple: x.n,
upto: upto(n),
bl-exists: (xL.P[x])_b,
callbyvalueall: callbyvalueall,
callbyvalue: callbyvalue
Definitions :
callbyvalue: callbyvalue,
callbyvalueall: callbyvalueall,
upto: upto(n),
parallel-df-prog: parallel-df-prog,
apply: f a,
lambda: x.A[x],
bl-exists: (xL.P[x])_b,
bnot: b,
isl: isl(x),
select-tuple: x.n,
length: ||as||
FDL editor aliases :
parallel-df-program-case2
parallel-df-program-case2(B;F;dfps) ==
let n := ||dfps|| in
let ns \mleftarrow{}{}
upto(n)
in (\mlambda{}t.(F (\mlambda{}k.t.k)))
|dfps|
halt: \mlambda{}x.(\mexists{}i\mmember{}ns.\mneg{}\msubb{}isl(x.i))\_b
Date html generated:
2011_08_16-AM-09_38_42
Last ObjectModification:
2011_06_10-PM-03_36_08
Home
Index