Home›Search›Foundations and Trends in Programming Languages

Foundations and Trends in Programming Languages

Now Publishers Inc · United States · Est. 2014

ISSN2325-1107eISSN2325-1131

SJR Q1✓ WOS ESCI✓ Scopus / SJR

/ 100

High Risk

Score Breakdown

✓ WoS ESCI+10

✓ Scopus Q1+25

Total35

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

1.665

H-Index

CiteScore

View ↗

Scopus metric · on the journal’s page

SNIP

4.352

Total Works

Total Citations

1,001

2yr Mean Citedness

1.00

Free JIF alternative

Aims & Scope✦ Inferred from recent articles

This journal focuses on the theory and practice of programming languages, encompassing areas such as program analysis, formal verification, type systems, and the design of programming languages and compilers. It explores techniques for ensuring software correctness, security, and efficiency, including abstract interpretation, refinement types, and neurosymbolic programming. The journal also covers topics related to concurrent systems, distributed systems, and the synthesis and generation of programs.

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 25% in field

General Information

Country / RegionUnited States

Primary LanguageEnglish

1st Year Published2014

Annual Volume~ 2 articles / year

StatusActive (last: 2025)

Total Publications25

Publisher OrgNow Publishers

OA Since2017

Visit Journal Website

Submission Info

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?

Now Publishers Inc

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

2325-1107 / 2325-1131

✅

Indexed in a trusted database?

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

2018

2019

2020

2021

2022

2023

2024

2025

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.

Computer Science ApplicationsQ1

SoftwareQ1

Theoretical Computer ScienceQ1

Subject Classification

Web of Science Categories

Computer Science, Software Engineering

Scopus Categories

Computer Science ApplicationsSoftwareTheoretical Computer Science

Research Topics (OpenAlex)

Logic, programming, and type systemsFormal Methods in VerificationSoftware Engineering ResearchSemantic Web and OntologiesCryptography and Data SecurityAdvanced Database Systems and QueriesSoftware Testing and Debugging TechniquesDistributed systems and fault toleranceEmbedded Systems Design TechniquesAdversarial Robustness in Machine Learning