來(lái)源：學(xué)術(shù)之家整理 2026-04-11 18:03:59
《Acm Transactions On Programming Languages And Systems》中文名稱：《關(guān)于編程語(yǔ)言和系統(tǒng)的 Acm 交易》，創(chuàng)刊于1979年，由Association for Computing Machinery (ACM)出版商出版，出版周期Bimonthly。
ACM 編程語(yǔ)言和系統(tǒng)匯刊 (TOPLAS) 是報(bào)道編程語(yǔ)言和輔助編程系統(tǒng)領(lǐng)域最新研究進(jìn)展的頂級(jí)期刊。論文可以是理論性的，也可以是實(shí)驗(yàn)性的，但無(wú)論哪種類型，論文都必須包含創(chuàng)新和新穎的內(nèi)容，以推動(dòng)編程語(yǔ)言和系統(tǒng)的最新發(fā)展。我們還歡迎嚴(yán)格實(shí)驗(yàn)性的論文，這些論文比較了現(xiàn)有的方法，以及教程和調(diào)查論文。 TOPLAS 的范圍包括但不限于以下主題：
順序和并行編程語(yǔ)言設(shè)計(jì)
編程語(yǔ)言實(shí)現(xiàn)
編程語(yǔ)言語(yǔ)義
編譯器和解釋器
程序執(zhí)行的運(yùn)行時(shí)系統(tǒng)
存儲(chǔ)分配和垃圾收集
編寫程序規(guī)范的語(yǔ)言和方法
安全可靠程序的語(yǔ)言和方法
程序的測(cè)試和驗(yàn)證
旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國(guó)內(nèi)外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動(dòng)態(tài)等。
| 機(jī)構(gòu)名稱 | 發(fā)文量 |
| UNIVERSITY OF OXFORD | 5 |
| INSTITUTE OF SCIENCE & ... | 4 |
| AARHUS UNIVERSITY | 3 |
| CENTRE NATIONAL DE LA R... | 3 |
| INRIA | 3 |
| NORTHEASTERN UNIVERSITY | 3 |
| UNIVERSITY OF CAMBRIDGE | 3 |
| UNIVERSITY OF LONDON | 3 |
| UNIVERSITY OF MASSACHUS... | 3 |
| CZECH TECHNICAL UNIVERS... | 2 |
| 國(guó)家/地區(qū) | 發(fā)文量 |
| USA | 16 |
| England | 14 |
| Austria | 6 |
| GERMANY (FED REP GER) | 6 |
| CHINA MAINLAND | 5 |
| France | 5 |
| Italy | 4 |
| Australia | 3 |
| Belgium | 3 |
| Denmark | 3 |
| 文章引用名稱 | 引用次數(shù) |
| Type-Driven Gradual Security... | 3 |
| Static Identification of Inj... | 2 |
| Conditioning in Probabilisti... | 1 |
| Rigorous Estimation of Float... | 1 |
| Feature-Specific Profiling | 1 |
| Adaptive Static Analysis via... | 1 |
| Program Synthesis for Progra... | 1 |
| Algorithms for Algebraic Pat... | 1 |
| POP-PL: A Patient-Oriented P... | 1 |
| Higher-order Demand-driven P... | 1 |
| 被引用期刊名稱 | 數(shù)量 |
| IEEE ACCESS | 34 |
| FORM ASP COMPUT | 31 |
| J LOG ALGEBR METHODS | 30 |
| ACM T PROGR LANG SYS | 25 |
| ACM T ARCHIT CODE OP | 21 |
| SCI COMPUT PROGRAM | 21 |
| ACM COMPUT SURV | 18 |
| J FUNCT PROGRAM | 16 |
| LOG METH COMPUT SCI | 13 |
| THEOR COMPUT SCI | 13 |
| 引用期刊名稱 | 數(shù)量 |
| ACM T PROGR LANG SYS | 25 |
| INFORM COMPUT | 9 |
| J FUNCT PROGRAM | 9 |
| THEOR COMPUT SCI | 7 |
| J ACM | 6 |
| ACM T MATH SOFTWARE | 5 |
| LOG METH COMPUT SCI | 5 |
| ACM T SOFTW ENG METH | 4 |
| COMMUN ACM | 4 |
| SCI COMPUT PROGRAM | 4 |
聲明：該作品系作者結(jié)合互聯(lián)網(wǎng)公開知識(shí)整合。如有錯(cuò)漏請(qǐng)聯(lián)系我們，我們將及時(shí)更正。
