Nuprl Definition : information-flow-to
information-flow-to(es;X;F;e;i) == do-apply(F loc(e) i;X(≤(X)(e)))
Definitions occuring in Statement :
es-interface-predecessors: ≤(X)(e),
eclass-vals: X(L),
es-loc: loc(e),
apply: f a,
do-apply: do-apply(f;x)
FDL editor aliases :
information-flow-to
Latex:
information-flow-to(es;X;F;e;i) == do-apply(F loc(e) i;X(\mleq{}(X)(e)))
Date html generated:
2015_07_20-PM-03_53_26
Last ObjectModification:
2012_02_25-PM-01_57_38
Home
Index