ACM Transactions on Programming Languages and Systems
Journal Title
- ACM Transactions on Programming Languages and Systems
ISSN
- E 1558-4593 | P 0164-0925 | 0164-0925 | 1558-4593
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