×

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

当程序不得不看着油漆变干时。 (英语) Zbl 07770329号

Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13992,1-23(2023)。
MSC公司:68新元 68季度xx
PDF格式BibTeX公司 XML格式引用

闭合效果行的完整类型推断。 (英语) Zbl 1528.68067号

Swierstra,Wouter(编辑)等人,《函数编程趋势》。第23届国际研讨会,TFP 2022,虚拟活动,2022年3月17日至18日。修订了选定的论文。查姆:施普林格。莱克特。注释计算。科学。13401, 144-168 (2023).
MSC公司:68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

范围效应的结构化处理。 (英语) Zbl 1528.68088号

谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13240, 462-491 (2022).
MSC公司:68号30 18 C50 68甲18
PDF格式BibTeX公司 XML格式引用

代数效应的自动时间验证。 (英语) Zbl 1524.68103号

谢尔盖,伊利亚(编辑),《编程语言和系统》。第20届亚洲研讨会,APLAS 2022,新西兰奥克兰,2022年12月5日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。第13658页,第88-109页(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

跑步者在运动。 (英语) Zbl 1508.68050号

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

将谓词转换器语义用于效果的组合:解析正则语言的一个案例研究。 (英语) Zbl 1511.68050号

New,Max S.(编辑)等人,《数学结构函数编程第八次研讨会论文集》,MSFP 2020,爱尔兰都柏林,2020年4月25日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)31739-56(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

类型和效果系统语义中逻辑关系的分解系统和单数提升。 (英语) Zbl 1527.68041号

Staton,Sam(编辑),第34届编程语义数学基础会议论文集(MFPS XXXIV),加拿大哈利法克斯达尔豪西大学,2018年6月6日至9日。阿姆斯特丹:爱思唯尔。电子。理论注释。计算。科学。341, 239-260 (2018).
PDF格式BibTeX公司 XML格式引用

Coq中带有效果和效果处理程序的程序的模块化验证。 (英语) Zbl 1460.68062号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 338-354 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

效果处理程序的连续传递样式。 (英语) Zbl 1441.68017号

Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3日至9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第18条,第19页(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

介绍了自然语言语义的效果演算和处理程序。 (英语) Zbl 1478.03060号

Annie Foret(编辑)等人,《形式语法》。第20届和第21届国际会议,FG 2015,西班牙巴塞罗那,2015年8月。修订了选定的论文。FG 2016,意大利博岑,2016年8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9804, 257-272 (2016).
PDF格式BibTeX公司 XML格式引用

代数效果和处理程序介绍(特邀指导论文)。 (英语) Zbl 1351.68079号

Ghica,Dan(编辑),第31届编程语义数学基础会议论文集(MFPS XXXI),荷兰奈梅亨,2015年6月22日至25日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记319,19-35,仅电子版(2015)。
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图灵完全免费。 (英语) Zbl 1432.68065号

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

哥德尔系统T可定义泛函通过有效强迫的连续性。 (英语) Zbl 1334.68126号

Kozen,Dexter(ed.)等人,第29届编程语义数学基础会议论文集(MFPS XXIX),美国洛杉矶新奥尔良,2013年6月。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》298119-141(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

主字段