Acm Transactions On Programming Languages And Systems

Journal Title：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

ACM 編程語言和系統匯刊 (TOPLAS) 是報道編程語言和輔助編程系統領域最新研究進展的頂級期刊。論文可以是理論性的，也可以是實驗性的，但無論哪種類型，論文都必須包含創新和新穎的內容，以推動編程語言和系統的最新發展。我們還歡迎嚴格實驗性的論文，這些論文比較了現有的方法，以及教程和調查論文。 TOPLAS 的范圍包括但不限于以下主題：

順序和并行編程語言設計

編程語言實現

編程語言語義

編譯器和解釋器

程序執行的運行時系統

存儲分配和垃圾收集

編寫程序規范的語言和方法

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

程序的測試和驗證

Acm Transactions On Programming Languages And Systems創刊于1979年，由Association for Computing Machinery (ACM)出版商出版，收稿方向涵蓋工程技術 - 計算機：軟件工程全領域，此刊是該細分領域中屬于非常不錯的SCI期刊，在行業細分領域中學術影響力較大，專業度認可很高，所以對原創文章要求創新性較高，如果您的文章質量很高，可以嘗試。平均審稿速度 12周，或約稿 ，影響因子指數1.5，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。