中文簡(jiǎn)介

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

投稿網(wǎng)址：http://mc.manuscriptcentral.com/acm/toplas/

英文簡(jiǎn)介

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.