埃利萨维特·科兹里;欧文·雅顿;安德鲁·迈尔斯(Andrew C.Myers)。;弗雷德·施耐德。 JRIF:Java的反应式信息流控制。 (英语) Zbl 07176723号 Guttman,Joshua D.(编辑)等人,《安全、协议和等式推理的基础》。献给凯瑟琳·梅多斯的散文。查姆:斯普林格。莱克特。注释计算。科学。11565, 70-88 (2019). 摘要:值\(v\)的反应式信息流(RIF)自动机指定(i)对\(v \)的使用的限制,以及(ii)可能从\(v)派生的任何值的RIF自动机。因此,RIF自动机指定了转换值如何改变结果的限制。作为标签,RIF自动机是描述允许信息流的表达工具和直观工具。JRIF是一种Java方言,它使用RIF自动机指定信息流控制策略。JRIF的实现涉及将Jif语言的信息流类型系统替换为基于RIF的类型系统。JRIF演示了(i)RIF自动机的实用性和实用性,以及(ii)可以轻松修改现有信息流控制系统以支持RIF自然主义的表达能力。关于整个系列,请参见[兹比尔1412.68009]. 引用于1文件 MSC公司: 65年第68季度 形式语言和自动机 68甲15 编程语言理论 关键词:信息流控制;重新分类;自动机 软件:JRIF公司;层压;Paragon公司;Jif公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Kozyri}等人,Lect。注释计算。科学。11565,70-88(2019;Zbl 07176723) 全文: 内政部 链接