parallel-df-prog1(B;G;dfp) ==
let C,S,s0,F = dfp
in <B, S, s0, 
s,a.evalall(let s',out = F s a in <s', G out>)>
Definitions occuring in Statement :
spreadn: spread4,
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>,
evalall: evalall(t)
Definitions :
spreadn: spread4,
lambda: x.A[x],
evalall: evalall(t),
spread: spread def,
pair: <a, b>,
apply: f a
FDL editor aliases :
parallel-df-prog1
parallel-df-prog1(B;G;dfp) ==
let C,S,s0,F = dfp
in <B, S, s0, \mlambda{}s,a.evalall(let s',out = F s a in <s', G out>)>
Date html generated:
2011_08_16-AM-09_41_54
Last ObjectModification:
2011_06_02-PM-04_04_05
Home
Index