Aims and Scope
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.
Key Metrics
3.7
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
< 5
Impact Factor
Impact Factor
Impact factor of a journal is calculated by dividing the number of current year citations to the source items published in that journal during the previous two years.
Q3
Software
SJR
- Q3 Software
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
1.49
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
Indexed in the following public directories
-
Web of Science -
Scopus -
Inspec -
SJR
Topics Covered
- Domain-specific language
- Machine code
- Program behavior
- Program transformation
- Operational semantics
- Distributed algorithm
- Static analysis
- Calculus
Journal Specifications
| 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 |
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
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection
- 31 Mar 25
- ACM Transactions on Programming Languages and Systems
-
Full paper
Observational Equality Meets CIC
- 25 Feb 25
- ACM Transactions on Programming Languages and Systems
-
Full paper
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
- 17 Feb 25
- ACM Transactions on Programming Languages and Systems
-
Full paper
Modal Crash Types for WAR-Aware Intermittent Computing
- 4 Feb 25
- ACM Transactions on Programming Languages and Systems
-
Full paper
Polynomial Bounds of CFLOBDDs against BDDs
- 4 Feb 25
- ACM Transactions on Programming Languages and Systems
-
Full paper
Generic Bidirectional Typing for Dependent Type Theories
- 3 Feb 25
- ACM Transactions on Programming Languages and Systems
Scite analysis
Powered by scite_
1.3k articles received 48.8k citations see all
- 178 Supporting
- 48,140 Mentioning
- 11 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 0 Corrections
- 1 Errata
- 0 Expression of Concern
FAQs
How long has ACM Transactions on Programming Languages and Systems been actively publishing?
ACM Transactions on Programming Languages and Systems has been in operation since 1979 till date.
What is the publishing frequency of ACM Transactions on Programming Languages and Systems ?
ACM Transactions on Programming Languages and Systems published with a Quarterly frequency.
How many articles did ACM Transactions on Programming Languages and Systems publish last years ?
In 2024, ACM Transactions on Programming Languages and Systems published 15 articles.
What is the eISSN & pISSN for ACM Transactions on Programming Languages and Systems ?
For ACM Transactions on Programming Languages and Systems,eISSN is 1558-4593 and pISSN is0164-0925.
What is Citescore for ACM Transactions on Programming Languages and Systems ?
Citescore for ACM Transactions on Programming Languages and Systems is 3.7.
What is SNIP score for ACM Transactions on Programming Languages and Systems ?
SNIP score for ACM Transactions on Programming Languages and Systems is 1.49.
What is the SJR for ACM Transactions on Programming Languages and Systems ?
SJR for ACM Transactions on Programming Languages and Systems is Q3.
Who is the publisher of ACM Transactions on Programming Languages and Systems ?
ASSOC COMPUTING MACHINERY is the publisher of ACM Transactions on Programming Languages and Systems.