ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

ACM编程语言和系统事务（TOPLAS）是报告编程语言和系统领域最新研究进展的主要期刊，以帮助完成编程任务。Toplas的范围包括但不限于以下主题：顺序和并行程序设计语言程序设计语言实现程序设计语言语义编者和口译员程序执行的运行时系统存储分配和垃圾收集编写程序规范的语言和方法安全可靠程序的语言和方法程序的测试和验证论文既可以是理论性的，也可以是实验性的，但是在任何一种情况下，它们都必须包含创新和新颖的内容，以促进编程语言和系统的发展。我们还邀请严格的实验论文来比较现有的方法、教程和调查论文。

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.The scope of TOPLAS includes, but is not limited to, the following subjects:language design for sequential and parallel programmingprogramming language implementationprogramming language semanticscompilers and interpretersruntime systems for program executionstorage allocation and garbage collectionlanguages and methods for writing program specificationslanguages and methods for secure and reliable programstesting and verification of programsPapers 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, tutorial, and survey papers.