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
Gradual C0: Symbolic Execution for Gradual Verification
- 5 Dec 24
- ACM Transactions on Programming Languages and Systems
-
Full paper
A Layered Approach to Intensional Analysis in Type Theory
- 5 Dec 24
- ACM Transactions on Programming Languages and Systems
-
Full paper
TeraHeap: Exploiting Flash Storage for Mitigating DRAM Pressure in Managed Big Data Frameworks
- 15 Oct 24
- ACM Transactions on Programming Languages and Systems
-
Full paper
Universal Composability is Robust Compilation
- 10 Oct 24
- ACM Transactions on Programming Languages and Systems
-
Full paper
Proving Correctness of Parallel Implementations of Transition System Models
- 17 Sep 24
- ACM Transactions on Programming Languages and Systems
-
Full paper
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms
- 17 Jun 24
- 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 2023, ACM Transactions on Programming Languages and Systems published 22 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.