计算机协会：POPL:编程语言原理

计算机协会：POPL:编程语言原理 ACM会议/POPL：编程语言原则——与主题搜索匹配的新结果。 https://dl.acm.org/action/doSearch？af=R 计算机协会：POPL:编程语言原理计算机协会英语-美国 Atypon系统 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站可扩展Bug检测的欠近似（Keynote） https://dl.acm.org/doi/abs/10.1145/3636501.3637683？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第1-1页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第1-1页 doi:10.1145/3636501.3637683 2024年01月09日07时39分12秒可扩展Bug检测的欠近似（Keynote） 1 1 2024年01月09日07时39分12秒 10.1145/3636501.3637683 https://dl.acm.org/doi/abs/10.1145/3636501.3637683？af=R 最后一码：高速密码学的基础端到端验证 https://dl.acm.org/doi/abs/10.1145/3636501.3636961？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第30-44页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第30-44页 doi:10.1145/3636501.3636961 2024年01月09日07时39分12秒最后一场：高速密码的基本端到端验证 30 44 2024年01月09日07时39分12秒 10.1145/3636501.3636961 https://dl.acm.org/doi/abs/10.1145/3636501.3636961？af=R 扩展正则表达式与Lookarounds匹配的精益形式化 https://dl.acm.org/doi/abs/10.1145/3636501.3636959？af=R CPP 2024：第13届ACM SIGPLAN认证程序和校对国际会议记录，第118-131页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第118-131页 doi:10.1145/3636501.3636959 2024年01月09日07时39分12秒扩展正则表达式与Lookarounds匹配的精益形式化 118 131 2024年01月09日07时39分12秒 10.1145/3636501.3636959 https://dl.acm.org/doi/abs/10.1145/3636501.3636959？af=R UTC时间，正式验证 https://dl.acm.org/doi/abs/10.1145/3636501.3636958？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第2-13页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第2-13页 doi:10.1145/3636501.3636958 2024年01月09日07时39分12秒 UTC时间，正式验证 2 13 2024年01月09日07时39分12秒 10.1145/3636501.3636958 https://dl.acm.org/doi/abs/10.1145/3636501.3636958？af=R 双直觉逻辑的健全性和完整性的机械化、建构性逆向分析 https://dl.acm.org/doi/abs/10.1145/3636501.3636957？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第218-229页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第218-229页 数字对象标识代码：10.1145/3636501.3636957 2024年01月09日07时39分12秒双直觉逻辑的健全性和完整性的机械化、建构性逆向分析 218 229 2024年01月09日07时39分12秒 10.1145/3636501.3636957 https://dl.acm.org/doi/abs/10.1145/3636501.3636957？af=R 线性逻辑语义的显示单体范畴 https://dl.acm.org/doi/abs/10.1145/3636501.3636956？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第260-273页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第260-273页 doi:10.1145/3636501.3636956 2024年01月09日07时39分12秒线性逻辑语义的显示单体范畴 260 273 2024年01月09日07时39分12秒 10.1145/3636501.3636956 https://dl.acm.org/doi/abs/10.1145/3636501.3636956？af=R 单价双类别 https://dl.acm.org/doi/abs/10.1145/3636501.3636955？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第246-259页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第246-259页 doi:10.1145/3636501.3636955 2024年01月09日07时39分12秒单价双类别 246 259 2024年01月09日07时39分12秒 10.1145/3636501.3636955 https://dl.acm.org/doi/abs/10.1145/3636501.3636955？af=R PfComp:利用二进制决策图进行数据包过滤的验证编译器 https://dl.acm.org/doi/abs/10.1145/3636501.3636954？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第89-102页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第89-102页 doi:10.1145/3636501.3636954 2024年01月09日07时39分12秒 PfComp：利用二进制决策图进行包过滤的验证编译器 89 102 2024年01月09日07时39分12秒 10.1145/3636501.3636954 https://dl.acm.org/doi/abs/10.1145/3636501.3636954？af=R VCFloat2：Coq中的浮点误差分析 https://dl.acm.org/doi/abs/10.1145/3636501.3636953？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第14-29页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第14-29页 doi:10.1145/3636501.3636953 2024年01月09日07时39分12秒 VCFloat2：Coq中的浮点误差分析 14 29 2024年01月09日07时39分12秒 10.1145/3636501.3636953 https://dl.acm.org/doi/abs/10.1145/3636501.3636953？af=R 验证编译器中的内存模拟、安全性和优化 https://dl.acm.org/doi/abs/10.1145/3636501.3636952？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第103-117页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第103-117页 doi:10.1145/3636501.3636952 2024年01月09日07时39分12秒验证编译器中的内存模拟、安全性和优化 103 117 2024年01月09日07时39分12秒 10.1145/3636501.3636952 https://dl.acm.org/doi/abs/10.1145/3636501.3636952？af=R 马丁·洛菲拉·考克 https://dl.acm.org/doi/abs/10.1145/3636501.3636951？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第230-245页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第230-245页 doi:10.1145/3636501.3636951 2024年01月09日07时39分12秒马丁·洛菲拉·考克 230 245 2024年01月09日07时39分12秒 10.1145/3636501.3636951 https://dl.acm.org/doi/abs/10.1145/3636501.3636951？af=R 量词下子公式链接的统一 https://dl.acm.org/doi/abs/10.1145/3636501.3636950？af=R CPP 2024：第13届ACM SIGPLAN认证程序和校对国际会议记录，第75-88页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第75-88页 数字对象标识代码：10.1145/3636501.3636950 2024年01月09日07时39分12秒量词下子公式链接的统一 75 88 2024年01月09日07时39分12秒 10.1145/3636501.3636950 https://dl.acm.org/doi/abs/10.1145/3636501.3636950？af=R 通过并行关键对证明汇流和交换极限 https://dl.acm.org/doi/abs/10.1145/3636501.3636949？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第147-161页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第147-161页 doi:10.1145/3636501.3636949 2024年01月09日07时39分12秒通过并行关键对证明汇流和交换极限 147 161 2024年01月09日07时39分12秒 10.1145/3636501.3636949 https://dl.acm.org/doi/abs/10.1145/3636501.3636949？af=R 多参数完备递归的严格单调Brouwer树 https://dl.acm.org/doi/abs/10.1145/3636501.3636948？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第205-217页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第205-217页 doi:10.1145/3636501.3636948 2024年01月09日07时39分12秒多参数完备递归的严格单调Brouwer树 205 217 2024年01月09日07时39分12秒 10.1145/3636501.3636948 https://dl.acm.org/doi/abs/10.1145/3636501.3636948？af=R 贾尔斯·加丹对卡普兰斯基单位猜想的否定形式化 https://dl.acm.org/doi/abs/10.1145/3636501.3636947？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第177-189页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第177-189页 doi:10.1145/3636501.3636947 2024年01月09日07时39分12秒贾尔斯·加丹对卡普兰斯基单位猜想的否定形式化 177 189 2024年01月09日07时39分12秒 10.1145/3636501.3636947 https://dl.acm.org/doi/abs/10.1145/3636501.3636947？af=R 基于Lovász局部引理的组合结构形式概率方法 https://dl.acm.org/doi/abs/10.1145/3636501.3636946？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第132-146页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第132-146页 doi:10.1145/3636501.3636946 2024年01月09日07时39分12秒基于Lovász局部引理的组合结构形式概率方法 132 146 2024年01月09日07时39分12秒 10.1145/3636501.3636946 https://dl.acm.org/doi/abs/10.1145/3636501.3636946？af=R ∞-范畴Yoneda引理的形式化 https://dl.acm.org/doi/abs/10.1145/3636501.3636945？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第274-290页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第274-290页 doi:10.1145/3636501.3636945 2024年01月09日07时39分12秒 ∞-范畴Yoneda引理的形式化 274 290 2024年01月09日07时39分12秒 10.1145/3636501.3636945 https://dl.acm.org/doi/abs/10.1145/3636501.3636945？af=R 效率之根：分离逻辑中基于数组树的机械化推理 https://dl.acm.org/doi/abs/10.1145/3636501.3636944？af=R CPP 2024：第13届ACM SIGPLAN认证程序和校对国际会议记录，第45-59页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第45-59页 doi:10.1145/3636501.3636944 2024年01月09日07时39分12秒效率之根：分离逻辑中基于数组树的机械化推理 45 59 2024年01月09日07时39分12秒 10.1145/3636501.3636944 https://dl.acm.org/doi/abs/10.1145/3636501.3636944？af=R 一种时差动态逻辑形式嵌入 https://dl.acm.org/doi/abs/10.1145/3636501.3636943？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第162-176页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第162-176页 doi:10.1145/3636501.3636943 2024年01月09日07时39分12秒一种时差动态逻辑形式嵌入 162 176 2024年01月09日07时39分12秒 10.1145/3636501.3636943 https://dl.acm.org/doi/abs/10.1145/3636501.3636943？af=R 完备离散赋值环和局部域的形式化 https://dl.acm.org/doi/abs/10.1145/3636501.3636942？af=R CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第190-204页 CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第190-204页 doi:10.1145/3636501.3636942 2024年01月09日07时39分12秒完备离散赋值环和局部域的形式化 190 204 2024年01月09日07时39分12秒 10.1145/3636501.3636942 https://dl.acm.org/doi/abs/10.1145/3636501.3636942？af=R