Ertl,医学硕士。(编辑) 特刊:解释器、虚拟机和模拟器的进展(IVME’03)。论文选自2003年6月12日在美国加利福尼亚州圣地亚哥举行的第一次研讨会上的演讲。 (英语) Zbl 1078.68511号 科学。计算。程序。 57,第3期,251-380(2005).MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Ertl}(编辑),科学。计算。程序。57,第3号,251--380(2005;Zbl 1078.68511) 全文: 内政部
帕拉茨,K。;贝克,J。;C·弗拉克。;格罗瑟夫,C。;山内,H。;J.维泰克。 为Ovm框架设计一个通用的中间表示。 (英语) Zbl 1077.68602号 科学。计算。程序。 57,第3期,357-378(2005).MSC公司:第68页第20页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Palacz}等人,科学。计算。程序。57,第3号,357--378(2005;Zbl 1077.68602) 全文: 内政部
惠利,约翰 Joeq:虚拟机和编译器基础设施。 (英语) Zbl 1077.68603号 科学。计算。程序。 57,第3期,339-356(2005).MSC公司:第68页第20页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Whaley},科学。计算。程序。57,第3号,339--356(2005;Zbl 1077.68603) 全文: 内政部
大卫·格雷格;安德鲁·贝蒂;凯西,凯文;布莱恩·戴维斯;安迪·尼斯贝特 虚拟注册机的情况。 (英语) Zbl 1077.68555号 科学。计算。程序。 57,第3期,319-338(2005).MSC公司:68甲15 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{D.Gregg}等人,科学。计算。程序。57,第3号,319--338(2005;Zbl 1077.68555) 全文: 内政部 链接
马里奥·拉特雷斯;马克·菲利 生成哈夫曼压缩字节码的快速解释器。 (英语) 兹比尔1077.68559 科学。计算。程序。 57,第3期,295-317(2005).MSC公司:68甲15 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.Latendrse}和\textit{M.Feeley},科学。计算。程序。57,第3号,295--317(2005;Zbl 1077.68559) 全文: 内政部
迈克尔·弗兰兹;迪帕克·钱德拉;安德烈亚斯·加尔;维维克·哈尔达尔;克里斯蒂安·W·普罗布斯特。;费明·雷格;王宁 用于校对代码的便携式虚拟机目标。 (英语) Zbl 1101.68444号 科学。计算。程序。 57,第3期,275-294(2005).MSC公司:68甲15 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.Franz}等人,科学。计算。程序。57,第3号,275--294(2005;Zbl 1101.68444) 全文: 内政部
刘汉冰;J.Strother摩尔 用于分析推理的可执行JVM模型:一项研究。 (英语) Zbl 1077.68560号 科学。计算。程序。 57,第3期,253-274(2005).MSC公司:68甲15 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{H.Liu}和textit{J.S.Moore},科学。计算。程序。57,第3号,253--274(2005;Zbl 1077.68560) 全文: 内政部