阿德里安·约翰斯通;伊丽莎白·斯科特 归约分析器的自动递归工程。 (英语) Zbl 1125.68020号 科学。计算。程序。 68,第2号,95-110(2007).MSC公司:68甲15 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Johnstone}和\textit{E.Scott},科学。计算。程序。68,第2号,95--110(2007;Zbl 1125.68020) 全文: DOI程序
约根·伯恩德加德·艾弗森 针对标准ML的操作编译器。 (英语) Zbl 1125.68037号 科学。计算。程序。 68,第2期,79-94(2007).MSC公司:68N20型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Iversen},科学。计算。程序。68,第2号,79--94(2007;Zbl 1125.68037) 全文: DOI程序
丹尼尔·沃丁顿;姚斌 高精度C/C++代码转换。 (英语) Zbl 1125.68024号 科学。计算。程序。 68,第2期,64-78(2007).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Waddington}和\textit{B.Yao},科学。计算。程序。68,第2号,64--78(2007;Zbl 1125.68024) 全文: DOI程序
赫丁,G。(编辑);J.T.博伊兰德。(编辑) 特刊:ETAPS 2005语言描述、工具和应用研讨会(LDTA’05)。2005年4月3日,在英国苏格兰爱丁堡举行的第五次研讨会上,根据研讨会上的陈述选出论文。 (英语) Zbl 1122.68318号 科学。计算。程序。68,第2期,63-110(2007年)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式