克里斯托夫·卢特罗思;德雷克·德拉海姆;杰拉尔德·韦伯 一种用于反射程序生成器的类型系统。 (英语) Zbl 1215.68062号 科学。计算。程序。 76,第5期,392-422(2011).MSC公司:第68页第19页 68号30 PDF格式BibTeX公司 XML格式引用 \textit{C.Lutteroth}等人,科学。计算。程序。76,No.5,392--422(2011;Zbl 1215.68062) 全文: 内政部
黄珊珊;大卫·佐克;亚尼斯·斯马拉格达基斯 使用SafeGen生成静态安全的程序。 (英语) Zbl 1215.68054号 科学。计算。程序。 76,第5期,376-391(2011).MSC公司:68甲15 68号30 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Huang}等人,科学。计算。程序。76,第5号,376--391(2011;Zbl 1215.68054) 全文: 内政部