期刊信息

ACM Transactions on Programming Languages and Systems (TOPLAS)

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

征稿

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 最后更新于

相关期刊

相关会议

评论 0

暂无评论。

请登录后发表评论