來源：學術之家整理 2025-03-18 15:37:12
《Acm Transactions On Programming Languages And Systems》中文名稱：《關于編程語言和系統的 Acm 交易》，創刊于1979年，由Association for Computing Machinery (ACM)出版商出版，出版周期Bimonthly。
ACM 編程語言和系統匯刊 (TOPLAS) 是報道編程語言和輔助編程系統領域最新研究進展的頂級期刊。論文可以是理論性的，也可以是實驗性的，但無論哪種類型，論文都必須包含創新和新穎的內容，以推動編程語言和系統的最新發展。我們還歡迎嚴格實驗性的論文，這些論文比較了現有的方法，以及教程和調查論文。 TOPLAS 的范圍包括但不限于以下主題：
順序和并行編程語言設計
編程語言實現
編程語言語義
編譯器和解釋器
程序執行的運行時系統
存儲分配和垃圾收集
編寫程序規范的語言和方法
安全可靠程序的語言和方法
程序的測試和驗證
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, SOFTWARE ENGINEERING工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| 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 |
| 國家/地區 | 發文量 |
| USA | 16 |
| England | 14 |
| Austria | 6 |
| GERMANY (FED REP GER) | 6 |
| CHINA MAINLAND | 5 |
| France | 5 |
| Italy | 4 |
| Australia | 3 |
| Belgium | 3 |
| Denmark | 3 |
| 文章引用名稱 | 引用次數 |
| 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 |
| 被引用期刊名稱 | 數量 |
| 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 |
| 引用期刊名稱 | 數量 |
| 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 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
