克劳斯·英德马克;诺尔,托马斯 编译具有严格信息的递归函数定义的代数正确性证明。 (英语) Zbl 1097.68025号 学报信息。 43,第1期,1-43页(2006年).MSC公司:68N20型 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Indermark}和\textit{T.Noll},《信息学报》第43卷第1期,第1--43页(2006年;Zbl 1097.68025) 全文: 内政部
北卡罗来纳州哈曼。;J.V.塔克。 微处理器体系结构和组织的代数模型。 (英语) Zbl 0855.68064号 学报信息。 33,第5期,421-456(1996).MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Harman}和\textit{J.V.Tucker},《学报》第33期,第5期,421--456(1996;Zbl 0855.68064) 全文: 内政部
拉兹万·迪亚科内斯库 用于等式逻辑编程的基于类别的模块化。 (英语) 兹比尔0849.68012 学报信息。 33,第5期,477-510(1996). 审核人:R.Diaconescu(布库雷什蒂) MSC公司:68N17号 68问题55 18立方厘米 03B70号 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu},Acta Inf.33,No.5,477--510(1996;Zbl 0849.68012) 全文: 内政部
托马斯·莱曼;雅克·勒克斯 OBSCURE,抽象数据类型的规范语言。 (英语) Zbl 0790.68072号 学报信息。 30,第4号,303-350(1993). 审核人:T.莱曼(萨尔布吕肯) MSC公司:60年第68季度 68问题65 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Lehmann}和\textit{J.Loeckx},《学报》第30期,第4期,第303--350页(1993;Zbl 0790.68072) 全文: 内政部
C.A.R.霍尔。;何继峰;A.桑帕约。 编译器设计的范式方法。 (英语) Zbl 0790.68023号 学报信息。 30,第8号,701-739(1993). 审核人:C.A.R.Hoare(牛津) MSC公司:68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}等人,《信息学报》第30期,第8期,第701--739页(1993年;Zbl 0790.68023) 全文: 内政部