托马斯·布拉兹迪尔;斯特凡·基弗;安东·库切拉;伊万娜·胡塔·奥瓦·埃科娃 具有无界递归的概率程序的运行时分析。 (英语) Zbl 1410.68083号 J.计算。系统。科学。 81,第1期,288-310(2015).MSC公司:68号30 68甲19 2017年第68季度 2010年第68季度 65年第68季度 65年第68季度 87年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,《计算杂志》。系统。科学。81,第1号,288--310(2015;Zbl 1410.68083) 全文: 内政部 arXiv公司
埃尔维·保利诺;爱德华多·马尔克斯 具有单操作多数据的异构编程。 (英语) Zbl 1410.68075号 J.计算。系统。科学。 81,第1期,16-37页(2015).MSC公司:68甲15 68甲19 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Paulino}和\textit{E.Marques},J.Comput。系统。科学。81、1号、16-37(2015;Zbl 1410.68075) 全文: 内政部 arXiv公司
汤姆·J·阿梅罗特。;Van den Bussche,简 积极的Dedalus计划容忍非因果关系。 (英语) Zbl 1311.68048号 J.计算。系统。科学。 80,第7期,1191-1213(2014).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Ameroot}和\textit{J.Van den Bussche},J.Compute。系统。科学。80,第7号,1191--1213(2014;Zbl 1311.68048) 全文: 内政部
伊贡博格尔;安东尼奥·西斯特尼诺;文森佐·格瓦西 具有应用程序的环境抽象状态机。 (英语) Zbl 1246.68088号 J.计算。系统。科学。 78,第3期,939-959(2012).MSC公司:68甲19 68T05型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}等人,《计算杂志》。系统。科学。78,第3号,939--959(2012;Zbl 1246.68088) 全文: 内政部
Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3期,823-852(2012).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: 内政部
奥利维尔·丹维;雅各布·约翰森 面向对象编程的交互派生语义工件。 (英语) Zbl 1206.68079号 J.计算。系统。科学。 76,第5期,302-323(2010).MSC公司:68甲19 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{J.Johannsen},J.Comput。系统。科学。76,第5号,302-323(2010;Zbl 1206.68079) 全文: 内政部
迈克尔·基弗;吴,詹姆斯 用复杂对象编程的逻辑。 (英语) Zbl 0785.68023号 J.计算。系统。科学。 47,第1号,77-120(1993). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:第68页,共15页 68T99型 68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kifer}和\textit{J.Wu},J.Comput。系统。科学。47,编号1,77--120(1993;Zbl 0785.68023) 全文: 内政部