information-flow-to(es;X;F;e;i) == do-apply(F loc(e) i;X(
(X)(e)))
Definitions :
do-apply: do-apply(f;x),
apply: f a,
es-loc: loc(e),
eclass-vals: X(L),
es-interface-predecessors: (X)(e)
FDL editor aliases :
information-flow-to
information-flow-to(es;X;F;e;i) == do-apply(F loc(e) i;X(\mleq{}(X)(e)))
Date html generated:
2010_08_27-PM-02_25_49
Last ObjectModification:
2010_01_26-PM-07_27_11
Home
Index