克里斯托夫·卢特罗思;德雷克·德拉海姆;杰拉尔德·韦伯 一种用于反射程序生成器的类型系统。 (英语) 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) 全文: DOI程序
亚历山大·埃亨;吉田、Nobuko 通过显式代码迁移对Java RMI进行形式化。 (英语) Zbl 1132.68020号 西奥。计算。科学。 389,第3号,341-410(2007).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahern}和\textit{N.Yoshida},Theor。计算。科学。389,第3号,341-410(2007年;兹bl 1132.68020) 全文: DOI程序