中文簡介

ACM編程語言和系統(tǒng)事務（TOPLAS）是報告編程語言和系統(tǒng)領域最新研究進展的主要期刊，以幫助完成編程任務。Toplas的范圍包括但不限于以下主題：順序和并行程序設計語言程序設計語言實現(xiàn)程序設計語言語義編者和口譯員程序執(zhí)行的運行時系統(tǒng)存儲分配和垃圾收集編寫程序規(guī)范的語言和方法安全可靠程序的語言和方法程序的測試和驗證論文既可以是理論性的，也可以是實驗性的，但是在任何一種情況下，它們都必須包含創(chuàng)新和新穎的內(nèi)容，以促進編程語言和系統(tǒng)的發(fā)展。我們還邀請嚴格的實驗論文來比較現(xiàn)有的方法、教程和調(diào)查論文。

投稿網(wǎng)址：http://mc.manuscriptcentral.com/acm/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.