×

找到10个文档(结果1-10)

跟踪编译器的正确性和安全编译。 (英语) Zbl 1508.68046号

Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12075,1-28(2020)。
MSC公司:68N20型
PDF格式BibTeX公司 XML格式引用

一种用于分离逻辑的程序构造和验证工具。 (英语) Zbl 1432.68071号

Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 137-158 (2015).
PDF格式BibTeX公司 XML格式引用

数据精化的范畴理论模型。 (英语) Zbl 1336.68035号

Seda,Anthony(编辑)等人,《爱尔兰计算机科学和信息技术数学基础会议论文集》(MFCSIT 2006),爱尔兰科克国立爱尔兰大学,2006年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记225,21-38(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段