Jif公司 swMATH ID: 16478 软件作者： A.C.Myers、L.Zheng、S.Zdancewic、S.Chong、N.Nystrom 描述： Jif：Java信息流。Jif是一种安全类型的编程语言，它扩展了Java，支持在编译时和运行时实施的信息流控制和访问控制。可以下载Jif编译器和运行时系统的源代码。Jif是用Java编写的，使用Polyglot可扩展Java编译器框架构建 主页： 网址：http://www.cs.cornell.edu/jif/ 相关软件： FlowFox公司;CoSMed公司;CAVA LTL模型检查器;网址（Ur/Web）;seL4级;蛋糕ML;伊莎贝尔/HOL;Paragon公司;流量凸轮;J流量;JRIF公司;ConfiChair公司;寓言;JSFlow公司;JavaScript脚本;毫升;LLVM公司;TALx86;纳吉尼;VerCors公司 引用于： 19文件 全部的 前5名46位作者引用 三 安德鲁·迈尔斯（Andrew C.Myers）。 三 安德烈·波佩斯库 三 安德烈·萨贝尔菲尔德 2 托马斯·博埃里 2 丹尼尔·赫丁 2 佩森蒂·格里蒂，阿曼多 2 佛朗哥·雷蒙迪 1 欧文·雅顿 1 阿斯兰·阿斯卡洛夫 1 托马斯·奥斯汀。 1 马西莫·巴托莱蒂 1 卢西亚诺·贝洛 1 伊利亚州卡斯特拉尼 1 乔安·科斯塔·塞科 1 Deniélou、Pierre-Malo 1 马里亚纽拉州Dezani-Ciancaglini 1 马尔科·艾尔斯 1 科马克·弗拉纳根 1 塞德里克·Fornet 1 爱德华多·杰拉尔多 1 西尔维娅·吉勒赞 1 罗伯特·格拉博夫斯基 1 雷纳·哈内尔 1 侯萍 1 埃利萨维特·科兹里 1 彼得·兰米奇 1 李鹏 1 李晓伟 1 梅耶尔，塞弗林 1 彼得·米勒 1 潘靖 1 约万卡·潘托维奇 1 佩雷斯（Jorge A.Pérez）。 1 杰雷米·普莱诺 1 菲利普·吕默 1 亚历杭德罗·拉索 1 何塞·弗拉戈索·桑托斯 1 弗雷德·施耐德。 1 丹尼尔·斯科佩 1 彼得·蒂曼。 1 伯纳多·托尼霍 1 雨果·托雷斯·维埃拉 1 丹尼斯·沃尔特 1 吉田、Nobuko 1 史蒂夫·兹丹塞维奇 1 张丹凤 全部的 前5名6篇连载文章中引用 2 理论计算机科学 2 自动推理杂志 1 倒排索引综述 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑与代数方法杂志 在3个字段中引用 19 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文