引用人
李杰 艾哈迈德·A 霍尔岑S (2023) 丁香:条件概率的模态分离逻辑 美国计算机学会程序设计语言会议录 10.1145/3591226 7 :PLDI (148-171) 在线发布日期:2023年6月6日 阿伦斯E 博兹加M Iosif R公司 卡托恩J (2022) 分布式可重构系统的推理 美国计算机学会程序设计语言会议录 10.1145/3563293 6 :OOPSLA2 (145-174) 在线发布日期:2022年10月31日 Keuchel S公司 惠赫伯特S 卢基亚诺夫G 德弗里斯D (2022) 使用Kripke规范单子验证符号执行(无元编程) 美国计算机学会程序设计语言会议录 10.1145/3547628 6 :ICFP (194-224) 在线发布日期:2022年8月31日 显示更多引用者