Proceedings of the ACM on Programming Languages

Proceedings of the ACM on Programming Languages is a gold open access journal of the Association for Computing Machinery that first appeared in 2017 and publishes work selected for the major SIGPLAN conferences. Each issue is devoted to one conference, and its 2025 impact factor is 3.3.《ACM 程序设计语言学报》是美国计算机学会的一份金色开放获取期刊，2017 年首次出版，刊载为SIGPLAN 各主要会议选出的工作。每期对应一个会议，2025 年影响因子为 3.3。

Scope

• The journal publishes research on all aspects of programming languages, from design to implementation.该刊发表程序设计语言各个方面研究，从设计到实现。

• Its range runs from mathematical formalisms to empirical studies, so both proofs and measurements have a place in it.其范围从数学形式化延伸到实证研究，因此证明与测量在其中都有位置。

• Type systems and the semantics of languages are central subjects.类型系统与语言语义是核心主题。

• Program analysis and verification are covered, since a tool that reasons about code must rest on a sound theory.程序分析与验证也在覆盖之列，因为对代码进行推理的工具必须建立在可靠理论之上。

• Compilers and runtime systems appear among the topics the journal publishes.编译器与运行时系统出现在该刊所发表的主题之中。

• Concurrency, parallelism and the theory of computation are taken as subjects in their own right.并发，并行与计算理论本身被当作选题接收。

• Functional languages and logic programming are well represented, because two of the affiliated conferences serve those communities.函数式语言与逻辑式编程有充分代表，因为有两个附属会议服务于这些群体。

• Domain specific languages are studied, and work on their design sits inside the programme.特定领域语言受到研究，其设计方面的工作属于该刊选题。

• Software testing and debugging are named among the areas the journal serves.软件测试与调试被列为该刊所服务的领域。

• Security, probabilistic computation and verification of systems appear on the list of interests.安全性，概率计算与系统验证出现在其关注清单上。

• Each issue belongs to a conference, so the papers of POPL, of PLDI, of ICFP and of OOPSLA are gathered in their own numbers.每期归属于一个会议，因此 POPL，PLDI，ICFP 与 OOPSLA 的论文各自汇编成辑。

• An issue covers a subject area that the conference it serves sets out in its call for papers.每期覆盖其所属会议在征稿启事中列出的一个主题领域。

• Session types and effect systems appear among the subjects, since they govern how a program may behave at run time.会话类型与效果系统出现在选题之中，因为它们约束程序在运行时可以如何表现。

• Garbage collection and memory management are covered, because a runtime has to reclaim what it no longer needs.垃圾回收与内存管理也在覆盖之列，因为运行时必须回收它不再需要的东西。

• Language interoperability is studied, so work on calling across the boundary between two languages has a place.语言互操作性受到研究，因此跨两种语言边界调用的工作有其位置。

• Formal methods and mechanised proof are taken, and a paper may rest on a development carried out in a proof assistant.形式化方法与机器化证明会被接收，论文可以依托证明助手中的一次开发。

• Empirical studies of how programmers work are also welcome, which places measurement beside theory.程序员如何工作的实证研究同样受欢迎，这把测量置于理论之旁。

• A special issue may be opened for a new area, and its scope is set out in the call that announces it.某一新领域可以另开专辑，其范围在预告它的征稿启事中列明。

• Optimisation and program transformation are studied, since a compiler has to change code while keeping its meaning.优化与程序变换受到研究，因为编译器必须在保持语义的同时改动代码。

• Probabilistic and differentiable programming appear among the newer areas the journal takes.概率编程与可微编程出现在该刊所接收的较新领域之中。

• Machine learning is taken where it bears on language design, since tooling for code now leans on models.机器学习在影响语言设计之处被接收，因为面向代码的工具如今倚重模型。

• The journal carries work on programming education when a study yields a result of general use.该刊载有程序设计教育方面的工作，只要一项研究给出有普遍用途的结果。

• It publishes papers on the tools that programmers use, from editors to build systems.该刊发表程序员所使用工具的论文，从编辑器到构建系统。

• Static analysis and abstract interpretation are studied, since a tool claims facts about a program before it runs.静态分析与抽象解释受到研究，因为工具在程序运行之前就对其有所断言。

• Work on the correctness of concurrent programs appears, where a small change of timing can alter the result.并发程序正确性方面的工作出现于该刊，其中时序的微小变化即可改变结果。

• The journal takes papers that prove things about programs, since a machine-checked argument carries weight.该刊接收针对程序给出证明的论文，因为经机器检验的论证具有分量。

History

• The journal was founded in 2017, when its first volume appeared.该刊创办于 2017 年，当年出版第一卷。

• It was created so that a journal, rather than the proceedings of a conference, could carry the archival record of the field.它被创设出来，是为了让期刊而非会议论文集承载该领域的存档记录。

• (Philip Wadler) was its inaugural editor-in-chief.（Philip Wadler）是该刊的首任主编。

• The Association for Computing Machinery publishes it, and the journal appears in electronic form only.美国计算机学会出版该刊，且该刊仅以电子形式出现。

• Its electronic number is 2475-1421.其电子刊号为 2475-1421。

• Publication is gold open access, and articles carry a Creative Commons attribution licence.出版采用金色开放获取，文章带有知识共享署名许可。

• The journal is produced in close collaboration with the Special Interest Group on Programming Languages.该刊与程序设计语言特别兴趣小组紧密协作制作。

• Its volumes have run each year since the first, and the tenth volume was in progress in 2026.其卷次自第一卷起逐年延续，2026 年第十卷仍在出刊。

• The impact factor rose from 2.2 for 2023 to 3.3 for 2025, with a five-year figure of 3.4.其影响因子从 2023 年的 2.2 升至 2025 年的 3.3，五年影响因子为 3.4。

• It is indexed in Scopus and in DBLP, and it is covered by the Emerging Sources Citation Index.该刊被 Scopus 与 DBLP 收录，并进入新兴来源引文索引。

• Every submission receives two rounds of reviewing before a decision is reached.每一篇投稿在作出决定之前都经过两轮评审。

• Authors are told that they can expect an initial decision in under three months.作者被告知可在三个月以内得到初步决定。

• Each issue is announced through a public call for papers, so the schedule is known in advance.每期都通过公开的征稿启事预告，因此日程事先可知。

• The journal took the place of the printed proceedings of the conferences it serves, so a paper is cited from the journal and not from a proceedings volume.该刊取代了它所服务会议的印刷论文集，因此论文自期刊被引用，而不是自论文集卷册。

• Each annual volume collects the issues of that year, and the numbering runs by volume rather than by a count of issues.每一年度卷汇集该年的各期，编号按卷延续，而非按期数计数。

• The publisher issues the journal on its digital library, where the papers are found beside the rest of its catalogue.出版方在其数字图书馆上发行该刊，论文与其目录的其余部分并列可寻。

• A copyright line on each paper states that the author keeps the rights and grants a broad licence.每篇论文上的版权行说明作者保留权利并授予一项宽泛许可。

Editors

• (Michael Hicks) is the editor-in-chief of the journal.（Michael Hicks）是该刊主编。

• He is a professor of computer science at the University of Maryland.他是马里兰大学的计算机科学教授。

• A member at large is appointed for each of the affiliated conferences, so every issue has its own editor.每一附属会议都任命一名一般编委，因此各期都有自己的编辑。

• (Derek Dreyer) has served as the member at large for the POPL issue.（Derek Dreyer）曾担任 POPL 期的一般编委。

• A board of senior editors and associate editors supports the review of each number.一个由资深编辑与副编辑组成的编委会支持各期的评审。

• The programme committee of a conference does the technical reviewing, and the journal adopts its recommendations.会议的程序委员会承担技术评审，期刊采纳其建议。

• Because the title is an organ of a professional society, its editorial arrangements are made with that society.由于该刊是专业学会的刊物，其编辑安排与学会共同作出。

• The editors state that the record is meant to be free of restrictions on both access and use.编辑声明其存档力求在获取与使用两方面都不受限。

• An information director maintains the public pages that list the editors and the issues.一位信息主管维护列有编辑与各期的公开页面。

• The editor-in-chief sets the schedule of issues and appoints the member at large for each conference.主编确定各期的日程，并为每个会议任命一般编委。

• A group of senior editors handles appeals and matters of policy that cut across the issues.一组资深编辑处理跨各期的申诉与政策事务。

• A paper is reviewed by the programme committee of the conference to which its issue belongs.论文由其所投会议的期所属的程序委员会评审。