JRIF公司

JRIF:Java的反应式信息流控制。一个值(v)的反应式信息流(RIF)自动机指定(i)对(v)的使用的限制,以及(ii)RIF自动机对于可能从(v)派生的任何值。因此,RIF自动机指定了如何转换一个值来改变对结果的限制。作为标签,RIF自动机是描述允许的信息流的表达和直观的工具。JRIF是Java的一种方言,它使用RIF自动机来指定信息流控制策略。JRIF的实现涉及到用基于RIF的类型系统替换Jif语言的信息流类型系统。JRIF展示了(i)RIF自动机的实用性和实用性,以及(ii)可以轻松地修改现有的信息流控制系统以支持RIF自动机的表达能力。