ucbrise/fluent-old

Leverage Type system for dataflow properties

Opened this issue 8 years ago · 0 comments

jhellerstein commented 8 years ago

Example 1: CALM analysis
Example 2: non-monotonic "taint" propagation
Example 3: selective lineage