期刊详情
Conference Record Of The Annual ACM Symposium On Principles Of Programming Languages
立即访问
语言：
英文
所在数据库：
Association For Computing Machinery
更新时间：
2026-03-30 15:42:28
期刊详情
Conference Record Of The Annual ACM Symposium On Principles Of Programming Languages (POPL) 编程语言理论领域的顶级学术会议记录，发表关于程序设计语言语义、类型系统、程序分析、验证及形式化方法的开创性研究，是计算机科学理论的核心论坛。