奥尔加·特维雷蒂纳;巴维尔·扎伊琴科夫;亚历克斯·沙法伦科 通过约束满足实现组件接口的非局部配置。 (英语) Zbl 1508.68404号 限制条件 25,编号3-4,121-159(2020).MSC公司:68单位35 68甲15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{O.Tveretina}等人,《限制条件》25,No.3--4,121-159(2020;Zbl 1508.68404) 全文: 内政部 arXiv公司
洛伦佐·贝蒂尼;维维亚娜·博诺;贝蒂·文内里 按对象组合进行委派。 (英语) Zbl 1217.68047号 科学。计算。程序。 76,第11期,992-1014(2011).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人,科学。计算。程序。76,第11号,992--1014(2011;Zbl 1217.68047) 全文: 内政部
路易吉·利科里;阿诺·斯皮瓦克 使用接口扩展FeatherTrait Java。 (英语) 兹比尔1146.68026 西奥。计算。科学。 398,编号1-3,243-260(2008).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Ligori}和\textit{A.Spiwack},Theor。计算。科学。398,编号1--3,243--260(2008;Zbl 1146.68026) 全文: 内政部 链接
斯特凡诺·贝拉尔迪;乌戈·德利古罗 微积分、类型和应用:纪念M.Coppo、M.Dezani-Ciancaglini和S.Ronchi della Rocca的论文。 (英语) Zbl 1138.01318号 西奥。计算。科学。 398,编号1-3,1-11(2008).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}和\textit{U.de'Liguoro},Theor。计算。科学。398,编号1--3,1--11(2008;Zbl 1138.01318) 全文: 内政部