df-program-meaning(dfp) ==
let B,S,s0,F = dfp
in rec-dataflow(inl s0 ;s,a.case s of inl(s1) => F s1 a | inr(x) => <s, {}>)
Definitions occuring in Statement :
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
spreadn: spread4,
apply: f a,
pair: <a, b>,
decide: case b of inl(x) => s[x] | inr(y) => t[y],
inl: inl x ,
empty-bag: {}
Definitions :
spreadn: spread4,
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
inl: inl x ,
decide: case b of inl(x) => s[x] | inr(y) => t[y],
apply: f a,
pair: <a, b>,
empty-bag: {}
FDL editor aliases :
df-program-meaning
df-program-meaning(dfp) ==
let B,S,s0,F = dfp
in rec-dataflow(inl s0 ;s,a.case s of inl(s1) => F s1 a | inr(x) => <s, \{\}>)
Date html generated:
2011_08_16-AM-09_34_54
Last ObjectModification:
2011_03_16-PM-01_59_09
Home
Index