关于编程语言和系统的 Acm 交易 SCIE

期刊简介预计审稿时间： 12周，或约稿

ACM Transactions on Programming Languages and Systems (TOPLAS) is the premier journal for reporting recent research advances in the areas of programming languages, and systems to assist the task of programming. Papers can be either theoretical or experimental in style, but in either case, they must contain innovative and novel content that advances the state of the art of programming languages and systems. We also invite strictly experimental papers that compare existing approaches, as well as tutorial and survey papers. The scope of TOPLAS includes, but is not limited to, the following subjects:

language design for sequential and parallel programming

programming language implementation

programming language semantics

compilers and interpreters

runtime systems for program execution

storage allocation and garbage collection

languages and methods for writing program specifications

languages and methods for secure and reliable programs

testing and verification of programs

ACM 编程语言和系统汇刊 (TOPLAS) 是报道编程语言和辅助编程系统领域最新研究进展的顶级期刊。论文可以是理论性的，也可以是实验性的，但无论哪种类型，论文都必须包含创新和新颖的内容，以推动编程语言和系统的最新发展。我们还欢迎严格实验性的论文，这些论文比较了现有的方法，以及教程和调查论文。 TOPLAS 的范围包括但不限于以下主题：

顺序和并行编程语言设计

编程语言实现

编程语言语义

编译器和解释器

程序执行的运行时系统

存储分配和垃圾收集

编写程序规范的语言和方法

安全可靠程序的语言和方法

程序的测试和验证

《Acm Transactions On Programming Languages And Systems》(关于编程语言和系统的 Acm 交易)编辑部通讯方式为ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。