期刊簡介預計審稿時間： 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檢索（檢索不了全額退款）。我們視信譽為生命，多方面確保文章安全保密，在任何情況下都不會泄露您的個人信息或稿件內容。