Acm Transactions On Programming Languages And Systems

杂志介绍

Acm Transactions On Programming Languages And Systems杂志介绍

《Acm Transactions On Programming Languages And Systems》是一本以English为主的未开放获取国际优秀期刊，中文名称关于编程语言和系统的 Acm 交易，本刊主要出版、报道计算机科学-COMPUTER SCIENCE, SOFTWARE ENGINEERING领域的研究动态以及在该领域取得的各方面的经验和科研成果，介绍该领域有关本专业的最新进展，探讨行业发展的思路和方法，以促进学术信息交流，提高行业发展。该刊已被国际权威数据库SCIE收录，为该领域相关学科的发展起到了良好的推动作用，也得到了本专业人员的广泛认可。该刊最新影响因子为1.5，最新CiteScore 指数为3.1。

英文介绍

Acm Transactions On Programming Languages And Systems杂志英文介绍

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