交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考。
大卫·斯瓦西迪帕克·加格和德雷克·德雷尔2017对象功能模式的健壮和组合验证。美国计算机学会程序设计语言会议录,第1卷,发布。OOPSLA,第页。1
西蒙·多尔蒂和大卫·皮姆2018软件科学和计算结构基础。第10803卷,问题,第页。441
拉尔夫·荣格雅克·亨利·乔尔丹罗伯特·克雷伯斯和德雷克·德雷尔2018RustBelt:巩固Rust编程语言的基础。美国计算机学会程序设计语言会议录,第2卷,问题。POPL、,第页。1
阿列克桑达尔·纳内夫斯基安妮迪亚·班纳吉德尔比安科、杰曼·安德烈斯和伊格纳西奥·法布雷加斯2019在分离逻辑中指定并发程序:形态和模拟。美国计算机学会程序设计语言会议录,第三卷,发布。OOPSLA公司,第页。1
阿明·蒂曼尼和Lars Birkedal公司2019具有延续的并发程序的机械化关系验证。美国计算机学会程序设计语言会议录,第三卷,发布。ICFP、,第页。1
科林·戈登。2019参与者正确性的模式断言。第页。11
伦纳特·贝林格和安德鲁·W·阿佩尔。2019正式方法——未来30年。第11800卷,问题,第页。573
丹·弗鲁明莱昂·冈德尔曼和罗伯特·克雷伯斯2019编程语言和系统。第11423卷,问题,第页。60
保罗·安德烈·梅利埃和莱奥·斯特凡内斯科2020并发分离逻辑遇到模板游戏。第页。742
保罗·G·贾鲁索。莱奥·斯特凡内斯科阿明·蒂曼尼Lars Birkedal公司和罗伯特·克雷伯斯2020Scala逐步:在Iris中具有逐步诱导逻辑关系的DOT的可靠性。美国计算机学会程序设计语言会议录,第4卷,发布。ICFP、,第页。1
山姆·韦斯特里克罗汉·雅达夫马修·弗莱特和阿卡尔(Umut A.Acar)。2020嵌套并行程序中的解纠缠。美国计算机学会程序设计语言会议录,第4卷,发布。POPL、,第页。1
悉达赫克里希纳亚历山大·萨默斯。和托马斯·怀斯2020编程语言和系统。第12075卷,问题,第页。308
保罗·埃米利奥·德维莱纳弗朗索瓦·波蒂埃和雅克·亨利·乔尔丹2020间谍游戏:在Iris中验证局部通用解算器。美国计算机学会程序设计语言会议录,第4卷,发布。POPL、,第页。1
松下幸介津田,武士和直纪小林2020编程语言和系统。第12075卷,问题,第页。484
迈克尔·桑姆勒迪帕克·加格德雷克·德雷尔和塔德乌兹·利塔克2020低级沙箱的高级好处。美国计算机学会程序设计语言会议录,第4卷,发布。POPL、,第页。1
悉达赫克里希纳迈克尔·埃米康斯坦丁埃纳和德扬·约瓦诺维奇2020编程语言和系统。第12075卷,问题,第页。280
伯恩哈德克拉格尔沙兹·卡迪尔和托马斯·亨辛格(Thomas A.Henzinger)。2020计算机辅助验证。第12224卷,问题,第页。275
鲁沃特,阿扬巴赫·鲍尔森,卡斯珀罗伯特·克雷伯斯和伊尔科Visser2020线性会话类型语言的内在类型定义解释器。第页。284
约塔姆·M·Y·费尔德曼。阿特姆·科扎康斯坦丁埃纳亚当·莫里森阿列克桑达尔·纳内夫斯基诺姆·里内茨基和沙龙·肖姆2020证明高并发遍历正确。美国计算机学会程序设计语言会议录,第4卷,发布。OOPSLA,第页。1
雅各布·R·洛奇。陈一轩马诺斯·卡普里索斯布莱恩·帕诺沙兹·卡迪尔乌帕曼尤·夏尔马詹姆斯·威尔科克斯。和赵雪源2020阿玛达:高性能并发程序的低工作量验证。第页。197