ACM Transactions on Programming Languages and Systems
Journal Title
- ACM Transactions on Programming Languages and Systems
ISSN
- E 1558-4593 | P 0164-0925
Publisher
- Association for Computing Machinary, Inc.
Listed on(Coverage)
JCR |
1997-2019 |
SJR |
1999-2019 |
CiteScore |
2011-2019 |
SCI |
2010-2019 |
SCIE |
2010-2021 |
CC |
2016-2021 |
SCOPUS |
2017-2020 |
Aime & Scopes
- 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