引用人
Enea C公司 科斯基宁E (2024) 基于场景的并发对象证明 美国计算机学会程序设计语言会议录 10.1145/3649857 8 :OOPSLA1 (1294-1323) 在线发布日期:2024年4月29日 郑J Lee J(李·J) 崔J 金·J 公园S 康J (2023) 并发分离逻辑中安全内存回收的模块化验证 美国计算机学会程序设计语言会议录 10.1145/3622827 7 :OOPSLA2 (828-856) 在线发布日期:2023年10月16日 迈耶R Wies T公司 沃尔夫S (2023) 在分离逻辑中嵌入后视推理 美国计算机学会程序设计语言会议录 10.1145/3591296 7 :PLDI (1848-1871) 在线发布日期:2023年6月6日 显示更多引用者