Steve巴克;Michael Leuschel先生;毛里西奥·瓦雷亚 通过Jones优化逻辑程序专业化实现高效灵活的访问控制。 (英语) Zbl 1189.68043号 高-订购符号。计算。 21,编号1-2,5-35(2008).MSC公司:第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Barker}等人,高-订购符号。计算。21,编号1--2,5--35(2008;Zbl 1189.68043) 全文: 内政部 链接
阿姆托夫特,托本 流敏感型系统和环境演算。 (英语) Zbl 1175.68268号 高-订购符号。计算。 21,第4期,411-442(2008).MSC公司:68问题85 68纳米30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{T.Amtoft},高-订购符号。计算。21,第4号,411--442(2008;Zbl 1175.68268) 全文: 内政部
克里斯蒂安·斯卡尔卡 对象方向的类型和跟踪效果。 (英语) Zbl 1175.68098号 高-订购符号。计算。 21,第3号,239-282(2008).MSC公司:68甲15 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Skalka},高-订购符号。计算。21,第3号,239--282(2008;Zbl 1175.68098) 全文: 内政部