查看最新文献
订阅
分享
1544中文名称：
关于编程语言和系统的 Acm 交易
期刊缩写：
ACM Trans. Program. Lang. Syst.
影响因子：
1.5
ISSN：
print: 0164-0925
研究领域：
工程技术-计算机：软件工程
创刊年份：
1979年
h-index：
63
自引率：
7.70%
Gold OA文章占比：
6.06%
原创研究文献占比：
100.00%
SCI收录类型：
Science Citation Index Expanded (SCIE) || Scopus (CiteScore)
期刊官网：
期刊介绍英文：
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
CiteScore：
| CiteScore | SJR | SNIP | CiteScore排名 |
|---|---|---|---|
| 3.1 | 0.893 | 1.508 | 学科 排名 百分位 大类：Computer Science 小类：Software 260 / 407 36% |
发文信息
中科院SCI期刊分区
| 大类 | 小类 | TOP期刊 | 综述期刊 |
|---|---|---|---|
| 2区 计算机科学 |
2区
计算机：软件工程
COMPUTER SCIENCE, SOFTWARE ENGINEERING
|
否 | 否 |
WOS期刊分区
| 学科分类 |
|---|
Q3COMPUTER SCIENCE, SOFTWARE ENGINEERING |
历年影响因子
| 2015年 | 1.1480 |
|---|---|
| 2016年 | 3.0330 |
| 2017年 | 0.7590 |
| 2018年 | 0.8000 |
| 2019年 | 0.7650 |
| 2020年 | 0.4100 |
| 2021年 | 1.7140 |
| 2022年 | 1.3000 |
| 2023年 | 1.5000 |
历年发表
| 2012年 | 21 |
|---|---|
| 2013年 | 18 |
| 2014年 | 18 |
| 2015年 | 22 |
| 2016年 | 16 |
| 2017年 | 23 |
| 2018年 | 23 |
| 2019年 | 29 |
| 2020年 | 16 |
| 2021年 | 20 |
| 2022年 | 28 |
投稿信息
出版周期：
Bimonthly
出版语言：
English
出版国家(地区)：
UNITED STATES
审稿时长：
>12 weeks
出版商：
Association for Computing Machinery (ACM)
编辑部地址：
ASSOC COMPUTING MACHINERY, 2 PENN PLAZA, STE 701, NEW YORK, USA, NY, 10121-0701
ACM Transactions on Programming Languages and Systems - 最新文献
Proving Correctness of Parallel Implementations of Transition System Models
Pub Date : 2024-04-20 DOI: 10.1145/3660630 Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia TarifaCFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
Pub Date : 2024-03-04 DOI: 10.1145/3651157 Meghana Aparna Sistla, Swarat Chaudhuri, Thomas RepsAdversities in Abstract Interpretation: Accommodating Robustness by Abstract Interpretation: ACM Transactions on Programming Languages and Systems: Vol 0, No ja
Pub Date : 2024-02-24 DOI: 10.1145/3649309 Roberto Giacobazzi, Isabella Mastroeni, Elia Perantoni
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
