期刊信息
ACM Transactions on Programming Languages and Systems (TOPLAS)
http://toplas.acm.org/出版商: |
ACM |
ISSN: |
0164-0925 |
浏览: |
14125 |
关注: |
15 |
征稿
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. 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 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, tutorial, and survey papers.
最后更新 Dou Sun 在 2013-10-03
相关期刊
CCF | 全称 | 影响因子 | 出版商 | ISSN |
---|---|---|---|---|
International Journal of Programming Languages and Applications | AIRCC | 1839-6291 | ||
c | IEEE Transactions on Circuits and Systems I: Regular Papers | 4.140 | IEEE | 1549-8328 |
Programming and Computer Software | 0.105 | Springer | 0361-7688 | |
c | Computer Languages, Systems and Structures | 0.915 | Elsevier | 1477-8424 |
International Journal of Database Management Systems | AIRCC | 0975-5985 | ||
a | ACM Transactions on Database Systems | ACM | 0362-5915 | |
c | Theory of Computing Systems | 0.477 | Springer | 1432-4350 |
International Journal of Communication Systems | 1.278 | Wiley-Blackwell | 1074-5351 | |
Journal of Signal Processing Systems | 0.551 | Springer | 1939-8018 | |
Journal of Logic, Language and Information | Springer | 0925-8531 |
全称 | 影响因子 | 出版商 |
---|---|---|
International Journal of Programming Languages and Applications | AIRCC | |
IEEE Transactions on Circuits and Systems I: Regular Papers | 4.140 | IEEE |
Programming and Computer Software | 0.105 | Springer |
Computer Languages, Systems and Structures | 0.915 | Elsevier |
International Journal of Database Management Systems | AIRCC | |
ACM Transactions on Database Systems | ACM | |
Theory of Computing Systems | 0.477 | Springer |
International Journal of Communication Systems | 1.278 | Wiley-Blackwell |
Journal of Signal Processing Systems | 0.551 | Springer |
Journal of Logic, Language and Information | Springer |
相关会议
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
SBAC-PAD | International Symposium on Computer Architecture and High Performance Computing | 2022-07-01 | 2022-11-02 |
ICINT | International Conference on Information and Network Technologies | 2018-04-05 | 2018-05-24 |
PAAP | International Symposium on Parallel Architectures, Algorithms and Programming | 2022-07-30 | 2022-11-04 |
ICBAT | International Conference on Biotechnology and Agroforestry Technology | 2020-04-15 | 2020-04-17 |
MODELS | International Conference on Model Driven Engineering Languages and Systems | 2024-03-21 | 2024-09-22 |
ISCA | International Symposium on Computer Architecture | 2023-11-14 | 2024-06-29 |
PLDI | ACM SIGPLAN conference on Programming Language Design and Implementation | 2023-11-16 | 2024-06-24 |
ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-12-19 |
ICCMIT | International Conference on Communication, Management and Information Technology | 2018-12-31 | 2019-03-26 |
ICCCEEE | International Conference on Computer, Control, Electrical, and Electronics Engineering | 2019-07-31 | 2019-09-21 |
推荐