information-flow-relation(es;X;F;e;i) == 
can-apply(F loc(e) i;X(
(X)(e)))
Definitions :
assert: b,
can-apply: can-apply(f;x),
apply: f a,
es-loc: loc(e),
eclass-vals: X(L),
es-interface-predecessors: (X)(e)
FDL editor aliases :
information-flow-relation
information-flow-relation(es;X;F;e;i) == \muparrow{}can-apply(F loc(e) i;X(\mleq{}(X)(e)))
Date html generated:
2010_08_27-PM-02_25_41
Last ObjectModification:
2010_01_26-PM-06_38_32
Home
Index