Explore All Access
Check if your research matches the topics covered in ACM Transactions on Programming Languages and Systems?
- Degree of match
- Common matching concepts
- Additional journal recommendations
ACM Transactions on Programming Languages and Systems : Impact Factor & More
eISSN: 1558-4593pISSN: 0164-0925
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Aims and Scope of ACM Transactions on Programming Languages and Systems
The ACM Transactions on Programming Languages and Systems (TOPLAS) is a bimonthly peer-reviewed scientific journal on programming languages published by the Association for Computing Machinery since 1979. The current editor-in-chief is Andrew Myers. Its scope includes programming language design, implementation, and semantics of programming languages, compilers and interpreters, run-time systems, storage allocation and garbage collection, and formal specification, testing, and verification of software. Less
ACM Transactions on Programming Languages and Systems Key Metrics
CiteScore 
3.7
Impact Factor
< 5
SJR
Q3Software
SNIP
1.49
Topics Covered on ACM Transactions on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems Journal Specifications
Indexed in the following public directories
Web of Science 
Scopus 
Inspec 
SJR
| Overview | |
| Publisher | ASSOC COMPUTING MACHINERY |
| Language | English |
| Frequency | Quarterly |
| General Details | |
| Language | English |
| Frequency | Quarterly |
| Publication Start Year | 1979 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in ACM Transactions on Programming Languages and Systems ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in ACM Transactions on Programming Languages and Systems
Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories
- 14 Jun 2025
- ACM Transactions on Programming Languages and Systems
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
- 26 May 2025
- ACM Transactions on Programming Languages and Systems
Circuit Width Estimation via Effect Typing and Linear Dependency
- 23 May 2025
- ACM Transactions on Programming Languages and Systems
A Modular Approach to Metatheoretic Reasoning for Extensible Languages
- 7 May 2025
- ACM Transactions on Programming Languages and Systems
Sound Static Data Race Verification for C: Is the Race Lost?
- 29 Apr 2025
- ACM Transactions on Programming Languages and Systems
Observational Equality Meets CIC
- 22 Apr 2025
- ACM Transactions on Programming Languages and Systems
Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories
- 14 Jun 2025
- ACM Transactions on Programming Languages and Systems
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
- 26 May 2025
- ACM Transactions on Programming Languages and Systems
Circuit Width Estimation via Effect Typing and Linear Dependency
- 23 May 2025
- ACM Transactions on Programming Languages and Systems
A Modular Approach to Metatheoretic Reasoning for Extensible Languages
- 7 May 2025
- ACM Transactions on Programming Languages and Systems
Sound Static Data Race Verification for C: Is the Race Lost?
- 29 Apr 2025
- ACM Transactions on Programming Languages and Systems
Observational Equality Meets CIC
- 22 Apr 2025
- ACM Transactions on Programming Languages and Systems
Compare Similar Journals with ACM Transactions on Programming Languages and Systems
Select Journals to Compare with ACM Transactions on Programming Languages and Systems
Total journals - 5
You can select up to 3 Journals at a time
Proceedings of the ACM on Programming Languages
Publisher: ACM
Lecture Notes in Computer Science
Publisher: Springer Nature
Electronic Proceedings in Theoretical Computer Science
Publisher: Open Publishing Association
Computer Languages Systems & Structures
International Journal on Software Tools for Technology Transfer
Publisher: SPRINGER HEIDELBERG
0 Journals Selected to compare with
ACM Transactions on Programming Languages and Systems
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
