阿扬·J·穆伊(Arjan J.Mooij)。 没有向下转换运算符的静态类型检查。 (英语) Zbl 07581523号 信息处理。莱特。 178,文章ID 106285,第7页(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.J.Mooij},Inf.过程。莱特。178,文章ID 106285,7 p.(2022;Zbl 07581523) 全文: 内政部
拉斐尔·杜阿尔特;亚历山大·莫塔;奥古斯托·桑帕约 通过法则在顺序Java中引入并发。 (英语) Zbl 1260.68077号 信息处理。莱特。 111,第3期,129-134(2011).MSC公司:68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Duarte}等人,《信息处理》。莱特。111、3号、129--134(2011;Zbl 1260.68077) 全文: 内政部
张,再见 通过规则转换管理基于约束的分析的粒度。 (英语) Zbl 1043.68091号 信息处理。莱特。 83,第2期,79-88(2002).MSC公司:68T20型 68甲18 68N17号 68甲19 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{B.-M.Chang},Inf.流程。莱特。83,第2号,79--88(2002;Zbl 1043.68091) 全文: 内政部
G.赫顿。;J·吉本斯。 一般逼近引理。 (英语) 兹比尔1032.68050 信息处理。莱特。 197-201年第4号第79页(2001年).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.Hutton}和\textit{J.Gibbons},Inf.过程。莱特。79,第4号,197--201(2001;Zbl 1032.68050) 全文: 内政部
霍尔维,V。;博罗纳特,P。 描述无死锁程序的最小属性。 (英语) Zbl 0996.68034号 信息处理。莱特。 77,第5-6号,283-290(2001).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{V.Cholvi}和\textit{P.Boronat},Inf.过程。莱特。77,编号5--6,283--290(2001;Zbl 0996.68034) 全文: 内政部
Leino,K.Rustan M。;雷米·斯塔塔 童贞:对面向对象软件规范的贡献。 (英语) Zbl 1002.68025号 信息处理。莱特。 70,第2期,99-105(1999).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{R.Stata},Inf.过程。莱特。70,第2号,99--105(1999;Zbl 1002.68025) 全文: 内政部
普拉萨德·贾扬蒂;图沙·迪帕克·钱德拉;萨姆·图格 遗漏故障的正常降级成本。 (英语) Zbl 0999.68039号 信息处理。莱特。 71,第3-4号,167-172(1999).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Jayanti}等人,《信息处理》。莱特。71,编号3--4,167--172(1999;Zbl 0999.68039) 全文: 内政部
陈久良;王凤健 用于类层次结构分析的继承流模型。 (英语) Zbl 1339.68041号 信息处理。莱特。 66,第6号,309-315(1998).MSC公司:68甲19 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Chen}和\textit{F.-J.Wang},Inf.Process。莱特。66,第6号,309--315(1998;Zbl 1339.68041) 全文: 内政部 链接
克里斯蒂安·奎因内克 动态面向对象语言的快速紧凑调度。 (英语) Zbl 1338.68043号 信息处理。莱特。 64,第6号,315-321(1997).MSC公司:68甲15 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{C.Queinnec},Inf.过程。莱特。64,No.6,315--321(1997;Zbl 1338.68043) 全文: 内政部 链接
马克库·萨基宁 Selftype是一种特殊情况。 (英语) Zbl 0736.68013号 信息处理。莱特。 38,第4期,221-224(1991).MSC公司:68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Sakkinen},Inf.过程。莱特。38,第4号,221--224(1991;Zbl 0736.68013) 全文: 内政部
胡振浩;Chon,基尔南 自我和自我类型。 (英语) Zbl 0706.68023号 信息处理。莱特。 36,第5期,225-230(1990年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Hur}和\textit{K.Chon},Inf.Process。莱特。36,第5号,225--230(1990;Zbl 0706.68023) 全文: 内政部