期刊信息

ACM Transactions on Programming Languages and Systems (TOPLAS)

请登录查看期刊网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
登录 注册
用 API 获取这条数据
搜索与榜单列表完全无需凭证；本页的完整详情需要一把免费 API 密钥。详见开发者接入页。
影响因子:
1.6
出版商:
ACM
ISSN:
0164-0925
浏览:
27463
关注:
16

征稿

ACM Transactions on Programming Languages and Systems (TOPLAS) is an academic journal published by ACM. (ISSN 0164-0925, impact factor 1.6, CCF A).

About 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. It is published on a quarterly basis. TOPLAS now supports the journal-first publication model. TOPLAS papers can be submitted for presentation at partner conferences, including POPL, PLDI, OOPSLA, and ECOOP. Every effort will be made to make a decision by the conference notification date. Work that has been previously presented at one or more conferences will not be considered for presentation, and papers must be submitted at least three months before the official conference submission deadline. 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 For further information and to submit your manuscript, see https://dl.acm.org/journal/toplas/author-guidelines.
由 Dou Sun 最后更新于

相关期刊

相关会议

CCFICORE简称全称截稿日期通知日期会议日期
ProgrammingInternational Conference on the Art, Science, and Engineering of Programming2027-03-15
AA*POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
CAACM ASIACCSACM ASIA Conference on Computer and Communications Security2026-12-112027-03-312027-07-12
BACM ISSACM Interactive Surfaces and Spaces Conference2026-07-222026-09-102026-11-23
ACM-BCBACM Conference on Bioinformatics, Computational Biology, and Health Informatics2026-02-202026-05-192026-06-30
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
AA*OSDIUSENIX Symposium on Operating Systems Design and Implementation2026-12-012027-03-162027-07-07

评论 0

暂无评论。

请登录后发表评论