Nuprl Definition : information-flow-relation
information-flow-relation(es;X;F;e;i) == ↑can-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),
assert: ↑b,
apply: f a,
can-apply: can-apply(f;x)
FDL editor aliases :
information-flow-relation
Latex:
information-flow-relation(es;X;F;e;i) == \muparrow{}can-apply(F loc(e) i;X(\mleq{}(X)(e)))
Date html generated:
2015_07_20-PM-03_52_36
Last ObjectModification:
2012_02_25-PM-01_57_17
Home
Index