Home›Search›ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems

Association for Computing Machinery (ACM) · United States

ISSN0164-0925eISSN1558-4593

SJR Q2✓ WOS SCIE✓ Scopus / SJR

/ 100

Medium Risk

Score Breakdown

✓ WoS SCIE/SSCI+25

✓ Scopus Q2+18

Total43

Journal Impact Factor

This journal is indexed in Web of Science (JCR) and has an official Journal Impact Factor. View the current value on the journal’s page ↗

SJR Score

0.564

H-Index

141

CiteScore

View ↗

Scopus metric · on the journal’s page

SNIP

1.523

Total Works

1,290

Total Citations

108,459

2yr Mean Citedness

1.49

Free JIF alternative

Aims & Scope✦ Inferred from recent articles

This journal publishes research on programming languages and systems, focusing on theoretical foundations, language design, and implementation techniques. Topics include formal methods for program verification, type systems, static analysis, compiler optimization, concurrency, and the semantics of programming languages. The research often involves developing new calculi, logics, and frameworks to address challenges in areas such as dynamic languages, quantum computation, and distributed systems.

AI-summarised from recent articles · verify on publisher page →

⚡ Speed vs Prestige

How does this journal balance review speed with impact level?

SJR Rank

Top 50% in field

General Information

Country / RegionUnited States

Primary LanguageEnglish

1st Year Published—

Annual Volume~ 19 articles / year

StatusActive

Total Publications1,290

Publisher OrgAssociation for Computing Machinery

Visit Journal Website

Submission Info

Publishing ModelSubscription

Peer Review—

Review Time—

Acceptance Rate—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

6/12 · 50%

✅

Do you know the journal / publisher?

Association for Computing Machinery (ACM)

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

0164-0925 / 1558-4593

✅

Indexed in a trusted database?

WoS, Scopus

❌

Peer review process documented?

N/A

❌

Follows ethical publishing standards (COPE)?

N/A

❌

APC fees clearly disclosed?

N/A

✅

Not on predatory/blacklists?

✓ Clean

❌

Long-term digital preservation?

N/A

❌

Plagiarism detection in place?

N/A

❌

Listed in DOAJ (verified OA)?

N/A

✅

Primary language documented?

English

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.

Publication & Citation Trend

Articles published

Times cited

2019

2020

2021

2022

2023

2024

2025

2026

Source: OpenAlex · Note: citations accumulate over time so older years appear higher

SJR Quartile by Discipline

Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.

SoftwareQ2

Subject Classification

Web of Science Categories

Computer Science, Software Engineering

Scopus Categories

Software

Research Topics (OpenAlex)

Logic, programming, and type systemsFormal Methods in VerificationParallel Computing and Optimization TechniquesDistributed systems and fault toleranceSoftware Testing and Debugging Techniques